Model Evolution and Management

As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earlier: models need to be versioned, differences captured, syntactic and semantic correctness checked as early as possible, documented, presented in easily accessible forms, etc. Quality management needs to be established for models as well as their relationship to other models, to code and to requirement documents precisely clarified and tracked. Business and product requirements, product technologies as well as development tools evolve. This also means we need evolutionary technologies both for models within a language and if the language evolves also for an upgrade of the models. This chapter discusses the state of the art in model management and evolution and sketches what is still necessary for models to become as usable and used as software.

[1]  Patrick Valduriez,et al.  Semi-automatic model integration using matching transformations and weaving models , 2007, SAC '07.

[2]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.

[3]  T. Mens,et al.  A Taxonomy of Model Transformations , 2004 .

[4]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[5]  Elmar Jürgens,et al.  Tool Support for Continuous Quality Control , 2008, IEEE Software.

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

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

[8]  Dániel Varró,et al.  Generic and Meta-transformations for Model Transformation Engineering , 2004, UML.

[9]  Lars Grunske,et al.  A Graphical Specification of Model Transformations with Triple Graph Grammars , 2005, ECMDA-FA.

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

[11]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[12]  Bernhard Schätz,et al.  Formalization and Rule-Based Transformation of EMF Ecore-Based Models , 2009, SLE.

[13]  Gabor Karsai,et al.  On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

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

[15]  Ivan Porres,et al.  Rule-based update transformations and their application to model refactorings , 2005, Software & Systems Modeling.

[16]  Jeffrey G. Gray,et al.  Generic and Domain-Specific Model Refactoring Using a Model Transformation Engine , 2005, Model-Driven Software Development.

[17]  Bernhard Rumpe,et al.  Introduction to GaMMa 2006 first international workshop on global integrated model management , 2006, GaMMa '06.

[18]  Gabor Karsai,et al.  Domain model translation using graph transformations , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[19]  Jeffrey G. Gray,et al.  The 6th OOPSLA workshop on domain-specific modeling , 2006, OOPSLA '06.

[20]  Tom Mens,et al.  Analysing refactoring dependencies using graph transformation , 2007, Software & Systems Modeling.

[21]  Maik Schmidt.  SiDiff: generische, auf Ähnlichkeiten basierende Berechnung von Modelldifferenzen , 2007, Softwaretechnik-Trends.

[22]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[23]  Bogdan Korel,et al.  Model based regression test reduction using dependence analysis , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[24]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[25]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[26]  Bernhard Schätz,et al.  Clone detection in automotive model-based development , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[27]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[28]  Claire J. Tomlin,et al.  Quadrotor Helicopter Flight Dynamics and Control: Theory and Experiment , 2007 .

[29]  Scott W. Ambler,et al.  Agile modeling: effective practices for extreme programming and the unified process , 2002 .

[30]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[31]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

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

[33]  Mehrdad Sabetzadeh,et al.  A manifesto for model merging , 2006, GaMMa '06.

[34]  Jean Bézivin,et al.  Model Engineering Support for Tool Interoperability , 2005 .

[35]  Andy Schürr,et al.  Model transformation in the large , 2007, ESEC-FSE '07.

[36]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[37]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[38]  Peter Bell SystemsForge.  Automated Transformation of Statements within Evolving Domain Specific Languages , 2007 .

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

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

[41]  Juan de Lara,et al.  Meta-modelling and graph grammars for multi-paradigm modelling in AToM3 , 2004, Software & Systems Modeling.

[42]  Robert B. France,et al.  A Metamodeling Approach to Pattern-Based Model Refactoring , 2003, IEEE Softw..

[43]  Alexander Pretschner,et al.  Computing refactorings of state machines , 2007, Software & Systems Modeling.

[44]  Ingo Stürmer,et al.  Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme , 2008, MBEES.