Mapping features to models: a template approach based on superimposed variants

Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other models, such as behavioral or data specifications, gives them semantics. In this paper, we propose a general template-based approach for mapping feature models to concise representations of variability in different kinds of other models. We show how the approach can be applied to UML 2.0 activity and class models and describe a prototype implementation.

[1]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[2]  Stan Jarzabek,et al.  XML-based method and tool for handling variant requirements in domain models , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[3]  Don S. Batory,et al.  Scaling step-wise refinement , 2004, IEEE Transactions on Software Engineering.

[4]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[5]  Walter F. Tichy,et al.  Proceedings 25th International Conference on Software Engineering , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[6]  Krzysztof Czarnecki,et al.  Overview of Generative Software Development , 2004, UPP.

[7]  Andrzej Wasowski Automatic Generation of Program Families by Model Restrictions , 2004, SPLC.

[8]  Ashley T. McNeile,et al.  State Machines as Mixins , 2003, J. Object Technol..

[9]  Robert B. France,et al.  Model Composition Directives , 2004, UML.

[10]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

[11]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[12]  Andrzej Węsowski,et al.  Automatic Generation of Program Families by Model Restrictions , 2004 .

[13]  W. M. L. Holcombe,et al.  PLUG AND PLAY SAFELY: RULES FOR BEHAVIOURAL COMPATIBILITY , 2002 .

[14]  Michal Antkiewicz,et al.  FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.

[15]  Christian Prehofer Plug-and-play composition of features and feature interactions with statechart diagrams , 2003, Software & Systems Modeling.

[16]  Krzysztof Czarnecki,et al.  Generative Programming for Embedded Software: An Industrial Experience Report , 2002, GPCE.

[17]  Ilka Philippow,et al.  The Hyper/UML Approach for Feature Based Software Design , 2003 .

[18]  Jean-Marc Jézéquel,et al.  Towards a UML Profile for Software Product Lines , 2003, PFE.

[19]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[20]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[21]  Jonathan Lee,et al.  A note on state modeling through inheritance , 1998, SOEN.

[22]  Frank J. van der Linden Software Product-Family Engineering , 2003, Lecture Notes in Computer Science.