Skip to main content
SpringerLink
Log in
Book cover

Brazilian Symposium on Formal Methods

SBMF 2011: Formal Methods, Foundations and Applications pp 1–15Cite as

Model Transformation and Induced Instance Migration: A Universal Framework

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7021))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. Free Software Foundation (2004)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. Electronic Notes in Theoretical Computer Science 203(6), 19–41 (2008)

    Article  MATH  Google Scholar 

  6. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  7. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Heidelberg (1985)

    Book  MATH  Google Scholar 

  8. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  9. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)

    Google Scholar 

  10. Freyd, P.: Aspects of topoi. Bulletin of the Australian Mathematical Society 7, 1–76 (1972)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. McLarty, C.: Elementary Categories, Elementary Toposes. Clarendon Press (1995)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  20. Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science 152, 125–142 (2006)

    Article  Google Scholar 

  21. Roddick, J.F.: A survey of schema versioning issues for database systems. Information and Software Technology 37(7), 383–393 (1995)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Schulz, C.: Transformation Objektorientierter Systeme basierend auf algebraischen Graphtransformationen. Ph.D. thesis, Technische Universität Berlin, Berlin, Deutschland (2010)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. University of Applied Sciences, FHDW Hannover, Freundallee 15, 30173, Hannover, Deutschland, Germany

    Harald König, Michael Löwe & Christoph Schulz

Authors
  1. Harald König
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Löwe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christoph Schulz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Mathematics and Computer Science, University of São Paulo, Avenida Trabalhador, são carlense, 400, 13566-590, São Carlos, SP, Brazil

    Adenilso Simao

  2. School of Computer Science and Engineering, University of New South Wales, NSW 2052, Sydney, Australia

    Carroll Morgan

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

König, H., Löwe, M., Schulz, C. (2011). Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds) Formal Methods, Foundations and Applications. SBMF 2011. Lecture Notes in Computer Science, vol 7021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25032-3_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25032-3_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25031-6

  • Online ISBN: 978-3-642-25032-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation