Alessandro Fantechi
ABSTRACT
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usually present in product families definitions. In particular, an EMLTS is able to define a family of products by telling at any state of the system whether transitions are optional or compulsory for the products of the family. Based on this model, verification that a product belongs to a family can be carried out by means of automatic tools.
- A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, A. Maccari, Use Case Description of Requirements for Product Lines, REPL'02, Essen, Germany, September 2002.Google Scholar
- P. C. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.Google ScholarDigital Library
- A. Cockburn, Writing Eective Use Cases. Addison Wesley, 2001. Google ScholarDigital Library
- D. Fischbein, S, Uchitel, Sebastian, V. Braberman, A Foundation for Behavioural Conformance in Software Product Line Architectures, 2nd ROSATEA Workshop, Portland, Maine, 2006 Google ScholarDigital Library
- M. Jazayeri, A. Ran, F. van der Linden, Software Architecture for Product Families: Principles and Practice, Publishers: Addison-Wesley, Reading, Mass. and London, 1998. Google ScholarDigital Library
- T. Kakola (Ed.), Software Product Lines: Research Issues in Engineering And Management, Springer-Verlag, October 2006. Google ScholarDigital Library
- K.G. Larsen, U. Nyman, A. Wasowski. Modal I/O Automata for Interface and Product Line Theories. ESOP'07, LNCS 4421, Springer, 2007. Google ScholarDigital Library
- K.G. Larsen, L. Xinxin, Equation solving using modal transition systems, LICS 1990, IEEE CS.Google ScholarCross Ref
- H. Schmid, H. Fecher, Comparing Disjunctive Modal Transition Systems with an One-Selecting Variant, NWPT'06, Reykjavik, Iceland, October2006Google Scholar
Index Terms
- A behavioural model for product families
Recommendations
A behavioural model for product families
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papersIn this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usually present in product families definitions. In particular, an EMLTS is able ...
Product families and process families
ISPW '96: Proceedings of the 10th International Software Process WorkshopProduct lines or families represent an important way of organizing software products. Product families might include, for example, successive revisions of a single application, versions of an application for different host platforms, or versions with ...
Basic behavioral models for software product lines
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled ...
Comments