Towards Evolution of Generic Variability Models

We present an approach for evolving separate variability models when the associated base model is altered. The Common Variability Language (CVL) is a generic language for modeling variability in base models. The base models are oblivious to the associated variability models, causing additional challenges to this association when the base models are maintained. Assuming that a base model has been changed, we suggest using CVL to record this change. Further analysis of this CVL model reveals the impact of the change, an may in some cases result in automatic evolution of the variability model corresponding to the changed base model. We illustrate and discuss the approach using an example from the train domain.

[1]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[2]  João Saraiva,et al.  Generative and Transformational Techniques in Software Engineering II , 2007, Lecture Notes in Computer Science.

[3]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[4]  Iulian Ober,et al.  SDL 2011: Integrating System and Software Modeling , 2011, Lecture Notes in Computer Science.

[5]  Øystein Haugen,et al.  Train Control Language – Teaching Computers Interlocking , 2008 .

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

[7]  Jaejoon Lee,et al.  Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings , 2010, SPLC.

[8]  Elmar Jürgens,et al.  Automatability of Coupled Evolution of Metamodels and Models in Practice , 2008, MoDELS.

[9]  Birger Møller-Pedersen,et al.  Standardizing Variability - Challenges and Solutions , 2011, SDL Forum.

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

[11]  Birger Møller-Pedersen,et al.  Model Comparison to Synthesize a Model-Driven Software Product Line , 2011, 2011 15th International Software Product Line Conference.

[12]  Birger Møller-Pedersen,et al.  Developing a Software Product Line for Train Control: A Case Study of CVL , 2010, SPLC.

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

[14]  Perdita Stevens,et al.  A Landscape of Bidirectional Model Transformations , 2007, GTTSE.

[15]  Richard F. Paige,et al.  XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language , 2005, ECMDA-FA.

[16]  Shin-Cheng Mu,et al.  An Algebraic Approach to Bi-directional Updating , 2004, APLAS.

[17]  Douglas C. Schmidt,et al.  Addressing Domain Evolution Challenges in Software Product Lines , 2005, MoDELS.

[18]  Markus Herrmannsdoerfer,et al.  COPE - A Workbench for the Coupled Evolution of Metamodels and Models , 2010, SLE.

[19]  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.

[20]  Birger Møller-Pedersen,et al.  A Generic Language and Tool for Variability Modeling , 2009 .

[21]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..