Confluence in Domain-Independent Product Line Transformations

Flexible models for product line variability allow representing variability within any kind of domain-specific model. We show how complex variabilities represented by one variability modelling approach are implemented by general, domain-independent model transformations. We analyse the confluence and consistency characteristics of these transformations, show when multiple variabilities may be in conflict, and define the criteria for confluence of multiple variability transformations.

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

[2]  H. Brown,et al.  Computational Problems in Abstract Algebra , 1971 .

[3]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[4]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[5]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

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

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

[8]  Birger Møller-Pedersen,et al.  Adding Standardized Variability to Domain Specific Languages , 2008, 2008 12th International Software Product Line Conference.

[9]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[10]  Sébastien Gérard,et al.  Consolidated Product Line Variability Modeling , 2006, Software Product Lines.

[11]  Roy Grønmo,et al.  Toward Standardised Model to Text Transformations , 2005, ECMDA-FA.

[12]  D. Knuth,et al.  Simple Word Problems in Universal Algebras , 1983 .

[13]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[14]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[15]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[16]  Øystein Haugen,et al.  The Future of Train Signaling , 2008, MoDELS.

[17]  Timo Käkölä,et al.  Software Product Lines - Research Issues in Engineering and Management , 2006 .

[18]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.