FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Survey of Schema Evolution in Object-Oriented Databases
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Automating Co-evolution in Model-Driven Engineering
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
COPE - Automating Coupled Evolution of Metamodels and Models
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Model migration with epsilon flock
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Metamodelling: state of the art and research challenges
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A categorical framework for the transformation of object-oriented systems: Models and data
Journal of Symbolic Computation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Metamodel adaptation and model co-adaptation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Graph transformations for evolving domain knowledge
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Customizing model migrations by rule schemes
Proceedings of the 2013 International Workshop on Principles of Software Evolution
Hi-index | 0.00 |
Meta-modeling has become the key technology to define do–main-specific modeling languages in model-driven engineering. Since do–main-specific modeling languages often change quite frequently, concepts are needed for the coordinated evolution of their meta-models as well as of their models, and possibly other related artifacts. In this paper, we present a new approach to the co-transformation of graphs and type graphs and show how it can be applied to model co-evolution. This means that models are specified as graphs while model relations, especially type-instance relations, are defined by graph morphisms specifying type conformance of models to their meta-models. Hence, meta-model evolution and accompanying model migrations are formally defined by co-transformations of instance and type graphs. In our approach, we clarify the type conformance of co-transformations, the completeness of instance graph transformations wrt. their type graph modifications, and the reflection of type graph transformations by instance graph transformations. Finally, we discuss strategies for automatically deducing instance graph transformation rules from given type graph transformations.