Model Transformation and Induced Instance Migration: A Universal Framework

  • Harald König
  • Michael Löwe
  • Christoph Schulz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7021)


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.


Agility Model Transformation Refactoring Data Migration Initial Semantics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. Free Software Foundation (2004)Google Scholar
  2. 2.
    Biermann, E., Ermel, C., Taentzer, G.: Lifting parallel graph transformation concepts to model transformation based on the Eclipse modeling framework. Electronic Communications of the EASST 26 (2010)Google Scholar
  3. 3.
    Corradini, A., Heindel, T.: und Barbara König, F.H.: Sesqui-pushout rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30–45. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Diskin, Z., Dingel, J.: A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. In: Proceedings of the 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies for Reverse Engineering (ateM 2006). Johannes-Gutenberg-Universität Mainz (2006)Google Scholar
  5. 5.
    Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. Electronic Notes in Theoretical Computer Science 203(6), 19–41 (2008)CrossRefzbMATHGoogle Scholar
  6. 6.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  7. 7.
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Heidelberg (1985)CrossRefzbMATHGoogle Scholar
  8. 8.
    Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)zbMATHGoogle Scholar
  9. 9.
    Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)Google Scholar
  10. 10.
    Freyd, P.: Aspects of topoi. Bulletin of the Australian Mathematical Society 7, 1–76 (1972)CrossRefzbMATHGoogle Scholar
  11. 11.
    Hainaut, J.L., Tonneau, C., Joris, M., Chandelon, M.: Transformation-based database reverse engineering. In: Elmasri, R.A., Kouramajian, V., Thalheim, B. (eds.) ER 1993. LNCS, vol. 823, pp. 364–375. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    König, H., Löwe, M., Schulz, C.: Functor semantics for refactoring-induced data migration. Tech. Rep. 02007/01, Fachhochschule für die Wirtschaft Hannover (2007)Google Scholar
  14. 14.
    Königs, A., Schürr, A.: Tool integration with triple graph grammars – A survey. Electronic Notes in Theoretical Computer Science 148(1), 113–150 (2006)CrossRefGoogle Scholar
  15. 15.
    Lee, S.-W., Ahn, J.-H., Kim, H.-J.: A schema version model for complex objects in object-oriented databases. Journal of Systems Architecture 52(10), 563–577 (2006)CrossRefGoogle Scholar
  16. 16.
    Löwe, M.: Graph rewriting in span-categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 218–233. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Löwe, M., König, H., Schulz, C., Peters, M.: Refactoring information systems – Handling partial composition. Electronic Communications of the EASST 3 (2006)Google Scholar
  18. 18.
    McLarty, C.: Elementary Categories, Elementary Toposes. Clarendon Press (1995)Google Scholar
  19. 19.
    Mens, T.: On the use of graph transformations for model refactoring. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219–257. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  20. 20.
    Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science 152, 125–142 (2006)CrossRefGoogle Scholar
  21. 21.
    Roddick, J.F.: A survey of schema versioning issues for database systems. Information and Software Technology 37(7), 383–393 (1995)CrossRefGoogle Scholar
  22. 22.
    Rose, L.M., Herrmannsdoerfer, M., Williams, J.R., Kolovos, D.S., Garcés, K., Paige, R.F., Polack, F.A.C.: A comparison of model migration tools. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 61–75. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  23. 23.
    Rutle, A., Wolter, U., Lamo, Y.: A diagrammatic approach to model transformations. In: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS 2008), pp. 1–8. ACM (2008)Google Scholar
  24. 24.
    Schulz, C.: Transformation Objektorientierter Systeme basierend auf algebraischen Graphtransformationen. Ph.D. thesis, Technische Universität Berlin, Berlin, Deutschland (2010)Google Scholar
  25. 25.
    Schulz, C., Löwe, M., König, H.: A categorical framework for the transformation of object-oriented systems: Models and data. Journal of Symbolic Computation 46(3), 316–337 (2011)CrossRefzbMATHGoogle Scholar
  26. 26.
    Taentzer, G., Beyer, M.: Amalgamated graph transformations and their use for specifying AGG – An algebraic graph grammar system. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol. 776, pp. 380–394. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  27. 27.
    Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varró, D., Varró-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Harald König
    • 1
  • Michael Löwe
    • 1
  • Christoph Schulz
    • 1
  1. 1.University of Applied Sciences, FHDW HannoverHannoverGermany

Personalised recommendations