Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution
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.
Keywordsmeta-model evolution model migration graph transformation
Unable to display preview. Download preview PDF.
- 1.Bisztray, D., Heckel, R., Ehrig, H.: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16 (2008)Google Scholar
- 2.Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: ECOC 2008, pp. 222–231. IEEE Computer Society (2008)Google Scholar
- 3.Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)Google Scholar
- 7.Hermann, F., Ehrig, H., Ermel, C.: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 325–339. Springer, Heidelberg (2009); long version available as TR 2008-07 at TU Berlin, GermanyCrossRefGoogle Scholar
- 11.Li, X.: A Survey of Schema Evolution in Object-Oriented Databases. In: TOOLS, pp. 362–371. IEEE Computer Society (1999)Google Scholar
- 12.Mantz, F., Jurack, S., Taentzer, G.: Graph Transformation Concepts for Meta-Model Evolution Guaranteeing Permanent Type conformance Throughout Model Migration. In: AGTIVE. LNCS, vol. 7233. Springer (2012)Google Scholar
- 16.Schulz, C., Löwe, M., König, H.: A Categorical Framework for the Transformation of Object-Oriented Systems: Models and Data. J. Symb. Comput. 46(3) (2011)Google Scholar
- 19.Taentzer, G., Mantz, F., Lamo, Y.: Co-Transformation of Graphs and Type Graphs with Application to Model Co-Evolution: Long Version. Tech. rep., Dep. of Mathematics and Computer Science, University of Marburg, Germany (2012), http://www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk