Take a look at the new version of this page: [ beta version ]. Tell us what you think.

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.

REFERENCES

• 1: A. Bertolino, A. Fantechi, S. Gnesi, G. Lami, A. Maccari, Use Case Description of Requirements for Product Lines, REPL'02, Essen, Germany, September 2002.
• 2: P. C. Clements and L. Northrop. Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, August 2001.
• 3: Alistair Cockburn, Writing Effective Use Cases, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 4: Dario Fischbein , Sebastian Uchitel , Victor Braberman, A foundation for behavioural conformance in software product line architectures, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.39-48, July 17-20, 2006, Portland, Maine [doi>10.1145/1147249.1147254]
• 5: Mehdi Jazayeri , Alexander Ran , Frank van der Linden, Software architecture for product families: principles and practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
• 6: Timo Käkölä , Juan Carlos Dueñas, Software Product Lines: Research Issues in Engineering and Management, Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 7: K. G. Larsen, U. Nyman, A. Wasowski. Modal I/O Automata for Interface and Product Line Theories. ESOP'07, LNCS 4421, Springer, 2007.
• 8: K. G. Larsen, L. Xinxin, Equation solving using modal transition systems, LICS 1990, IEEE CS.
• 9: H. Schmid, H. Fecher, Comparing Disjunctive Modal Transition Systems with an One-Selecting Variant, NWPT'06, Reykjavik, Iceland, October2006

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)
      D.2.4 Software/Program Verification
          Subjects: Formal methods

General Terms:
Design, Theory, Verification

Keywords:
modal transition systems, product lines, software families