Formal detection of feature interactions with logic programming and LOTOS

This article addresses the problem of detecting feature interactions in the area of telephony systems design. The proposed approach consists of two phases: filtering and testing. The filtering phase detects possible interactions by identifying incoherencies in a logic specification of the main elements of the features, consisting of preconditions, trig- gers, results and constraints. If incoherencies are identified, then an interaction is suspected, test cases corresponding to the suspected interaction are generated and testing is applied to see if the interaction actually exists. Two case studies, car- ried out on established benchmarks, show that this approach gives good results in practice.

[1]  Tadashi Ohta,et al.  Automatic elicitation of knowledge for detecting feature in telecommunication services , 2000 .

[2]  Joanne M. Atlee,et al.  Run-Time Management of Feature Interactions , 2003 .

[3]  M. Barbuceanu,et al.  How to Make Your Agents Fulfil Their Obligations , 1998, PAAM.

[4]  Mark Handley,et al.  SIP: Session Initiation Protocol , 1999, RFC.

[5]  K. Kimbler,et al.  Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden , 1998, FIW.

[6]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[7]  Stephan Reiff-Marganiec,et al.  Feature interaction in policies , 2004, Comput. Networks.

[8]  Luigi Logrippo,et al.  Detecting feature interactions in CPL , 2007, J. Netw. Comput. Appl..

[9]  Daniel Amyot,et al.  Feature-Interaction Visualisation and Resolution in an Agent Environment , 1998, FIW.

[10]  Tom Gray,et al.  Policy-enabled mechanisms for feature interactions: reality, expectations, challenges , 2004, Comput. Networks.

[11]  Andreas Metzger,et al.  Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model , 2003, FIW.

[12]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[13]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[14]  Uyless Black.  The Intelligent Network : Customizing Telecommunication Networks and Services , 1998 .

[15]  Kristofer Kimbler.  Addressing the Interaction Problem at the Enterprise Level , 1997, FIW.

[16]  Henning Schulzrinne,et al.  Call Processing Language Framework and Requirements , 2000, RFC.

[17]  Yow-Jian Lin,et al.  A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.

[18]  Pamela Zave.  Architectural Solutions to Feature-Interaction Problems in Telecommunications , 1998, FIW.

[19]  Luigi Logrippo,et al.  An Introduction to LOTOS: Learning by Examples , 1992, Comput. Networks ISDN Syst..

[20]  Daniel Amyot,et al.  Interactive conflict detection and resolution for personalized features , 2005, Journal of Communications and Networks.

[21]  Tadashi Ohta,et al.  A Formal Approach for Definition and Detection of Feature Interactions , 1998, FIW.

[22]  Evan H. Magill,et al.  The Use of Rollback to Prevent Incorrect Operation of Features in Intelligent Network Based Systems , 1998, FIW.

[23]  Daniel Amyot,et al.  Feature Interactions in Telecommunica - tions and Software Systems VII , 2003 .

[24]  Daniel Amyot,et al.  Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada , 2003, FIW.

[25]  Daniel Amyot,et al.  Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS , 2000, FIW.

[26]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[27]  Luigi Logrippo,et al.  Detecting feature interaction in CPL , 2006, Software & Systems Modeling.

[28]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.