Model Transformation and Induced Instance Migration: A Universal Framework

Software restructuring and refactoring facilitate the use of models as primary artifacts. Model evolution becomes agile if consistency between evolving models and depending artifacts is spontaneously maintained. In this paper we study endogenous model transformations at medium or fine granularity with impact on data structures and objects. We propose a formal framework in which transformation rules for class models can be formulated, whose application induces automatic migration of corresponding data structures. The main contribution is a correctness criterion for rule-induced instance migration based on initial semantics.

[1]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[2]  Jean-Luc Hainaut,et al.  Schema Transformation Techniques for Database Reverse Engineering , 1993, ER.

[3]  Hartmut Ehrig,et al.  Graph Transformations in Computer Science , 1994, Lecture Notes in Computer Science.

[4]  Hartmut Ehrig,et al.  Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks , 2009, FASE.

[5]  Zinovy Diskin,et al.  A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..

[6]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[7]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[8]  Michael Löwe.  Graph Rewriting in Span-Categories , 2010, ICGT.

[9]  Gabriele Taentzer,et al.  Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[10]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[11]  Gabriele Taentzer,et al.  Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[12]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[13]  Sang-Won Lee,et al.  A schema version model for complex objects in object-oriented databases , 2006, J. Syst. Archit..

[14]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

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

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

[17]  Michael Löwe,et al.  A categorical framework for the transformation of object-oriented systems: Models and data , 2011, J. Symb. Comput..

[18]  Frank Hermann,et al.  Sesqui-Pushout Rewriting , 2006, ICGT.

[19]  Zinovy Diskin,et al.  A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering , 2006 .

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

[21]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

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

[23]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[24]  Jean-Luc Hainaut,et al.  Transformation-based Database Reverse Engineering , 1993 .

[25]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[26]  Andy Schürr,et al.  Tool Integration with Triple Graph Grammars - A Survey , 2006, FoVMT.

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

[28]  Tom Mens,et al.  On the Use of Graph Transformations for Model Refactoring , 2005, GTTSE.

[29]  Colin McLarty,et al.  Elementary categories, elementary toposes , 1992 .

[30]  Adrian Rutle,et al.  A diagrammatic approach to model transformations , 2008, EATIS.

[31]  Ramez Elmasri,et al.  Entity-Relationship Approach — ER '93 , 1993, Lecture Notes in Computer Science.

[32]  Juan de Lara,et al.  Tools of model transformation by graph transformation: A comparative study , 2012, International Conference on Education and e-Learning Innovations.

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