A Discipline for Handling Feature Interaction

  • Egidio Astesiano
  • Gianna Reggio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1526)


A challenging problem within the wider software evolution problem is the development of systems by features. While most of the recent work centered around the detection of feature interactions, we present an approach based on modular specification, separation of concerns and prevention of unwanted interactions. We illustrate our approach extending a formalism for the specification of reactive systems and showing its application to some aspects of the well-known case of telephone systems (POTS and variations).

The paper concentrates more on the methodological aspects, which are, at large extent, independent of the formalism. Indeed, this seems to be the case of some rather novel concepts like the distinction between pre-features (features in isolation) and features, closed and open semantics, feature composition and discipline of feature interaction, and finally the pervading role of a kind of anti-frame assumption.


Transition Type Open Semantic Feature Interaction Activity Rule Action Capability 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Astesiano, E., Reggio, G.: Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI - Università di Genova, Italy (1996)Google Scholar
  2. 2.
    Astesiano, E., Reggio, G.: Feature Interaction: Prevention Is Better than Detection: A Formal Modular Support for Feature Specification and Interaction Handling. Technical Report DISI-TR-98-14, DISI - Università di Genova, Italy (1998)Google Scholar
  3. 3.
    Blom, J., Bol, R., Kempe, L.: Automatic Detection of Feature Interactions in Temporal Logic. Technical Report 95/61, Department of Computer Systems, Uppsala University (1995)Google Scholar
  4. 4.
    Bredereke, J.: Formal Criteria for Feature Interactions in Telecommunications Systems. In: Norgaard, J., Iversen, V.B. (eds.) Intelligent Networks and New Technologies. Chapman & Hall, Boca Raton (1996)Google Scholar
  5. 5.
    Faci, M., Logrippo, L.: Specifying Features and Analyzing their Interactions in a LOTOS Environment. In: Bouma, L.G., Velthuijsen, H. (eds.) Feature Interactions in Telecommunications Systems (Proc. of the 2nd International Workshop on Feature Interactions in Telecommunications Systems, Amsterdam), pp. 136–151. IOS Press, Amsterdam (1994)Google Scholar
  6. 6.
    Klein, C., Prehofer, C., Rumpe, B.: Feature Specification and Refinement with State Transition Diagrams. In: Dini, P. (ed.) Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems. IOS-Press, Amsterdam (1997)Google Scholar
  7. 7.
    Milner, R.: Communication and Concurrency. Prentice Hall, London (1989)zbMATHGoogle Scholar
  8. 8.
    Mosses, P.D.: CoFI: The Common Framework Initiative for Algebraic Specification and Development. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 115–137. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  9. 9.
    Prehofer, C.: Feature-Oriented Programming: A Fresh Look at Objects. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 419–443. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  10. 10.
    Reggio, G., Larosa, M.: A Graphic Notation for Formal Specifications of Dynamic Systems. In: Fitzgerald, J., Jones, C.B. (eds.) FME 1997. LNCS, vol. 1313. Springer, Heidelberg (1997)Google Scholar
  11. 11.
    Zave, P.: Feature interactions and formal specifications in telecommunications. Computer 26(8), 20–29 (1993)CrossRefGoogle Scholar
  12. 12.
    Zave, P.: Calls considered harmful and other observations: A tutorial on telephony. In: Margaria, T. (ed.) Second International Workshop on Advanced Intelligent Networks 1997 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.DISI, Dipartimento di Informatica e Scienze dell’InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations