A semi-formal description of migrating domain-specific models with evolving domains

One of the main advantages of defining a domain-specific modeling language (DSML) is the flexibility to adjust the language definition to changing requirements or in response to a deeper understanding of the domain. With the industrial applications of domain-specific modeling environments, models are valuable investments. If the modeling language evolves, these models must be seamlessly migrated to the evolved DSML. Although the changes stemming from the language evolution are not abrupt in nature, migrating existing models to a new language is still a challenging task. Our solution is the Model Change Language (MCL) tool set, which defines a DSML to describe the migration rules and then performs the model migration automatically. In this paper, we describe the precise semantics of MCL and its execution, along with the confluence of the migration.

[1]  Gabor Karsai,et al.  Generative Programming via Graph Transformations in the Model-Driven Architecture , 2002 .

[2]  Guido Wachsmuth,et al.  Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.

[3]  Gabor Karsai,et al.  A domain-specific visual language for domain model evolution , 2004, Journal of Visual Languages and Computing.

[4]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[5]  Bart Meyers,et al.  A framework for evolution of modelling languages , 2011, Sci. Comput. Program..

[6]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[7]  Antonio Cicchetti,et al.  A Metamodel Independent Approach to Difference Representation , 2007, J. Object Technol..

[8]  Aniruddha S. Gokhale,et al.  Domain-Specific Modeling , 2008, Handbook of Dynamic System Modeling.

[9]  Richard F. Paige,et al.  Different models for model matching: An analysis of approaches to support model differencing , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[10]  Sandeep Neema,et al.  Detc 2012-71378 towards Automated Evaluation of Vehicle Dynamics in System-level Designs , 2012 .

[11]  Gabor Karsai,et al.  Metamodel driven model migration , 2003 .

[12]  Richard F. Paige,et al.  Comparing Model-Metamodel and Transformation-Metamodel Co-evolution , 2010 .

[13]  Sandeep Neema,et al.  Modeling methodology for integrated simulation of embedded systems , 2003, TOMC.

[14]  Andrew B. Whinston,et al.  Model management , 1994 .

[15]  Jeff Gray,et al.  Domain-Specific Modeling with Visual Languages , 2004 .

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

[17]  Gabor Karsai,et al.  Evolving Paradigms and Models in Multi-Paradigm Modeling , 2008 .

[18]  Markus Herrmannsdoerfer,et al.  COPE : A Language for the Coupled Evolution of Metamodels and Models , 2008 .

[19]  Gabor Karsai,et al.  Automatic Domain Model Migration to Manage Metamodel Evolution , 2009, MoDELS.

[20]  B. Gruschko.  Towards Synchronizing Models with Evolving Metamodels , 2007 .

[21]  Elmar Jürgens,et al.  COPE - Automating Coupled Evolution of Metamodels and Models , 2009, ECOOP.

[22]  Antonio Cicchetti,et al.  Automating Co-evolution in Model-Driven Engineering , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[23]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .