Feature logics and refinement

We present an institution of feature logics which generalises our earlier approach (2001) and define a refinement theory to deal with the complexity of feature interactions in this generic framework, which is one of the main problems encountered when dealing with feature interaction detection. The study of interactions through implementation techniques is still an open problem. The authors furnish answers to encounter this purpose in a logic-independent framework, using algebraic refinement techniques.

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

[2]  Alfred V. Aho,et al.  Feature interactions in the global information infrastructure , 1995, SIGSOFT '95.

[3]  Kong Eng Cheng.  Towards a formal model for incremental service specification and interaction management support , 1994, FIW.

[4]  Roland N. Bol,et al.  Automatic Detection of Feature Interactions in Temporal Logic , 1995, FIW.

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

[6]  Dominique Méry,et al.  Service specifications: to B, or not to B , 1998, FMSP '98.

[7]  Antonino Salibra,et al.  A Soft Stairway to Institutions , 1991, COMPASS/ADT.

[8]  Paul J. Kühn,et al.  The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..

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

[10]  Hartmut Ehrig,et al.  Refinement and Implementation , 1999, Algebraic Foundations of Systems Specification.

[11]  Luigi Logrippo,et al.  Representing and Verifying Intentions in Telephony Features Using Abstract Data Types , 1995, FIW.

[12]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[13]  Carl A. Gunter,et al.  In handbook of theoretical computer science , 1990 .

[14]  T. Ohta,et al.  The Declarative Language STR (State Transition Rule) , 2000, FIREworks.

[15]  Ahmed Khoumsi.  Detection and Resolution of Interactions between Services of Telephone Networks , 1997, FIW.

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

[17]  Egidio Astesiano,et al.  Algebraic Foundations of Systems Specification , 1999, IFIP State-of-the-Art Reports.

[18]  Mark Ryan,et al.  Feature integration using a feature construct , 2001, Sci. Comput. Program..

[19]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[20]  Michel Bidoit,et al.  Modular correctness proofs of behavioural implementations , 1998, Acta Informatica.