Evolving models in Model-Driven Engineering: State-of-the-art and future challenges

A conceptual overview of the problem of model evolution.A survey of the state-of-the-art in model evolution and migration.Open and ongoing research challenges in model evolution and migration. The artefacts used in Model-Driven Engineering (MDE) evolve as a matter of course: models are modified and updated as part of the engineering process; metamodels change as a result of domain analysis and standardisation efforts; and the operations applied to models change as engineering requirements change. MDE artefacts are inter-related, and simultaneously constrain each other, making evolution a challenge to manage. We discuss some of the key problems of evolution in MDE, summarise the key state-of-the-art, and look forward to new challenges in research in this area.

[1]  Gerti Kappel,et al.  A posteriori operation detection in evolving software models , 2013, J. Syst. Softw..

[2]  Alexander Egyed,et al.  Co-evolution of Metamodels and Models through Consistent Change Propagation , 2013, ME@MoDELS.

[3]  Richard F. Paige,et al.  On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages , 2009, Rigorous Methods for Software Construction and Analysis.

[4]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[5]  Richard F. Paige,et al.  Model Management in the Wild , 2011, GTTSE.

[6]  M. Wimmer,et al.  Why Model Versioning Research is Needed ! ? An Experience Report ? , 2009 .

[7]  Davide Di Ruscio,et al.  Model Transformations , 2012, SFM.

[8]  Alexander Egyed,et al.  Incremental consistency checking for complex design rules and larger model changes , 2012, MODELS'12.

[9]  Holger Giese,et al.  Incremental model synchronization with triple graph grammars , 2006, MoDELS'06.

[10]  Dimitrios S. Kolovos,et al.  An extensible platform for specification of integrated languages for model management , 2008 .

[11]  Richard F. Paige,et al.  A comparison of model migration tools , 2010, MODELS'10.

[12]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[13]  Davide Di Ruscio,et al.  A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations , 2013, ICMT.

[14]  Holger Giese,et al.  Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations , 2013, ICMT.

[15]  Maximilian Koegel,et al.  Operation-based conflict detection and resolution , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[16]  Richard F. Paige,et al.  Model Migration with Epsilon Flock , 2010, ICMT@TOOLS.

[17]  Erhard Rahm,et al.  Similarity Flooding: A Versatile Graph Matching Algorithm (Extended Technical Report) , 2001 .

[18]  Richard F. Paige,et al.  Searching for model migration strategies , 2012, ME '12.

[19]  Alexis Muller,et al.  Towards Transformation Migration After Metamodel Evolution , 2010 .

[20]  Kent L. Beck,et al.  Embracing Change with Extreme Programming , 1999, Computer.

[21]  Anthony Cleve,et al.  Bidirectional Transformations in Database Evolution: A Case Study "At Scale" , 2014, EDBT/ICDT Workshops.

[22]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.

[23]  Louis M. Rose.  Structures and processes for managing model-metamodel co-evolution , 2011 .

[24]  Cláudia Maria Lima Werner,et al.  Odyssey-VCS: a flexible version control system for UML model elements , 2005, SCM '05.

[25]  John F. Roddick,et al.  A survey of schema versioning issues for database systems , 1995, Inf. Softw. Technol..

[26]  Jean Bézivin,et al.  Managing Model Adaptation by Precise Detection of Metamodel Changes , 2009, ECMDA-FA.

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

[28]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[29]  Juan de Lara,et al.  Genericity for model management operations , 2011, Software & Systems Modeling.

[30]  Richard F. Paige,et al.  Epsilon Flock: a model migration language , 2012, Software & Systems Modeling.

[31]  Stephan Roser,et al.  Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space , 2008, J. Data Semant..

[32]  Hartmut Ehrig,et al.  A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications , 2011, FASE.

[33]  Antonio Cicchetti,et al.  Managing Model Conflicts in Distributed Development , 2008, MoDELS.

[34]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[35]  Gabriele Taentzer,et al.  Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes , 2013, MoDELS.

[36]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[37]  Antonio Cicchetti,et al.  Managing Dependent Changes in Coupled Evolution , 2009, ICMT@TOOLS.

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

[39]  Gerti Kappel,et al.  AMOR – Towards Adaptable Model Versioning , 2008 .

[40]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[41]  Bashar Nuseibeh,et al.  Making inconsistency respectable in software development , 2001, J. Syst. Softw..

[42]  Richard F. Paige,et al.  Programmatic Muddle Management , 2013, XM@MoDELS.

[43]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[44]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[45]  Perdita Stevens,et al.  «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications , 2003, Lecture Notes in Computer Science.

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

[47]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[48]  T. S. E. Maibaum,et al.  Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond , 2012, ACCAT.

[49]  Gerti Kappel,et al.  An Introduction to Model Versioning , 2012, SFM.

[50]  Reidar Conradi,et al.  Impact of software engineering research on the practice of software configuration management , 2005, ACM Trans. Softw. Eng. Methodol..

[51]  Simon Fürst.  AUTOSAR – A Worldwide Standard is on the Road . , 2009 .

[52]  Sahar Kokaly,et al.  Mapping-Aware Megamodeling: Design Patterns and Laws , 2013, SLE.

[53]  Davide Di Ruscio,et al.  Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

[54]  Richard F. Paige,et al.  A tutorial on metamodelling for grammar researchers , 2014, Sci. Comput. Program..

[55]  Alari Lukk,et al.  A Survey of Approaches to Automatic Schema Matching , 2011 .

[56]  Ralf Lämmel,et al.  Automated Co-evolution of GMF Editor Models , 2010, SLE.

[57]  Françoise Simonot-Lion,et al.  EAST-ADL - An Architecture Description Language - Validation and Verification Aspects , 2004, IFIP-WADL.

[58]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .