A Discipline for Handling Feature Interaction
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.
KeywordsTransition Type Open Semantic Feature Interaction Activity Rule Action Capability
Unable to display preview. Download preview PDF.
- 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.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.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.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.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.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
- 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
- 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