Feature Specification and Static Analysis for Interaction Resolution

While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the user with respect to the service integration. In this paper, we define both a formalism and a methodology which, respectively, allow us to automatically analyse interactions based on specification consistency. For the latter (i.e. the methodology), we take advantage of both specifier expertise and formal methods.

[1]  Pascale Le Gall,et al.  An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications , 2005, FIW.

[2]  Michael Jackson,et al.  Distributed Feature Composition: A Virtual Architecture for Telecommunications Services , 1998, IEEE Trans. Software Eng..

[3]  Dominique Cansell,et al.  Abstraction and refinement of features , 2000, FIREworks.

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

[5]  Igor Faynberg,et al.  The Intelligent Network Standards: Their Application to Services , 1996 .

[6]  Bernhard Schätz,et al.  Service-Based Systems Engineering: Consistent Combination of Services , 2003, ICFEM.

[7]  Joao Marques-Silva,et al.  GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.

[8]  Pierre-Yves Schobbens,et al.  Feature Integration as Substitution , 2003, FIW.

[9]  Jens E. Kristensen,et al.  Interaction detection, a logical approach , 1994, FIW.

[10]  Lydie du Bousquet,et al.  Feature interaction detection using a synchronous approach and testing , 2000, Comput. Networks.

[11]  Stephen Gilmore,et al.  Language Constructs for Describing Features , 2001, Springer London.

[12]  Sharad Malik,et al.  Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[13]  Amy P. Felty,et al.  Feature specification and automated conflict detection , 2003, TSEM.

[14]  D. Samborski.  Stack Service Model , 2000, FIREworks.

[15]  Marc Aiguier,et al.  Algebraic Treatment of Feature-oriented Systems , 2000, FIREworks.

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

[17]  J. Bredereke,et al.  Maintaining telephone switching software requirements , 2002, IEEE Commun. Mag..

[18]  Pascale Le Gall,et al.  An incremental method for the design of feature-oriented systems , 2000, FIREworks.

[19]  Shizuko Kawauchi,et al.  Formal Approaches for Detecting Feature Interactions, Their Experimental Results, and Application to VoIP , 2003, FIW.

[20]  Tadashi Ohta,et al.  Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction , 2005, FIW.

[21]  中村 匡秀.  Design and evaluation of efficient algorithms for feature interaction detection in telecommunication services , 1999 .