Skip to main content
SpringerLink
Log in

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes

  • Conference paper
Book cover Model-Driven Engineering Languages and Systems (MODELS 2013)

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

Abstract

Modeling languages tailored to specific application domains promise to increase the productivity and quality of model-driven software development. Nevertheless due to, for example, evolving requirements, modeling languages, and their meta-models evolve which means that existing models have to be migrated accordingly. In our approach, such co-evolutions are specified as related graph transformations ensuring well-typed model migration results. Model migrations are specified by transformation rules that can be automatically deduced from given meta-model evolution rules and further customized to special needs. Up to now, meta-model constraints have not been taken into account. In this paper, we extend our approach to handle multiplicity constraints and illustrate this extension using several examples.

This work was partially funded by NFR project 194521 (FORMGRID).

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alanen, M., Porres, I.: A relation between context-free grammars and meta object facility metamodels. Tech. Rep. 606, TUCS Turku Center for Computer Science (March 2003)

    Google Scholar 

  2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: Uml2alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436–450. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  3. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformation. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010), http://www.eclipse.org/modeling/emft/henshin

    Chapter  Google Scholar 

  4. Berardi, D., Cali, A., Calvanese, D., Giacomo, G.D.: Reasoning on UML Class Diagrams. Artifical Intelligence 168, 70–118 (2005)

    Article  MATH  Google Scholar 

  5. Büttner, F., Bauerdick, H., Gogolla, M.: Towards Transformation of Integrity Constraints and Database States. In: DEXA 2005, pp. 823–828. IEEE (August 2005)

    Google Scholar 

  6. Cadoli, M., Calvanese, D., Mancini, T.: Finite satisfiability of UML class diagrams by Constraint Programming. In: Proc. of the 2004 International Workshop on Description Logics (DL 2004), vol. 104. CEUR-WS.org (2004)

    Google Scholar 

  7. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: EDOC 2008, pp. 222–231. IEEE (2008)

    Google Scholar 

  8. Eclipse Modeling Framework: Project Web Site, http://www.eclipse.org/emf/

  9. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)

    Google Scholar 

  10. Fowler, M.: Domain-Specific Languages. Addison-Wesley Professional (2010)

    Google Scholar 

  11. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software and Systems Modeling 4(4), 386–398 (2005)

    Article  Google Scholar 

  12. Herrmannsdoerfer, M., Vermolen, S., Wachsmuth, G.: An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 163–182. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  13. Hoffmann, B., Minas, M.: Defining models - meta models versus graph grammars. ECEASST 29 (2010)

    Google Scholar 

  14. Hoffmann, B., Minas, M.: Generating instance graphs from class diagrams with adaptive star grammars. ECEASST 39 (2011)

    Google Scholar 

  15. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256–290 (2002)

    Article  Google Scholar 

  16. König, H., Löwe, M., Schulz, C.: Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol. 7021, pp. 1–15. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  17. Lengyel, L., Levendovszky, T., Charaf, H.: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybernetica 17(2), 339–357 (2005)

    MATH  Google Scholar 

  18. Mantz, F., Taentzer, G., Lamo, Y.: Well-formed Model Co-evolution with Customizable Model Migration (to appear in ECEASST)

    Google Scholar 

  19. Mantz, F., Taentzer, G., Lamo, Y.: Co-Transformation of Type and Instance Graphs Supporting Merging of Types with Retyping. In: GCM 2012, pp. 47–58 (September 2012), gcm2012.imag.fr/proceedingsGCM2012.pdf

  20. Object Management Group: Meta-Object Facility Specification (January 2006), http://www.omg.org/spec/MOF/2.0/

  21. Object Management Group: Object Constraint Language Specification (May 2006), http://www.omg.org/spec/OCL/2.0/

  22. Rose, L., Kolovos, D., Paige, R.F., Polack, F.A.C.: Model Migration with Epsilon Flock. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 184–198. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  23. Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. JLAP 81(4), 422–457 (2012)

    MathSciNet  MATH  Google Scholar 

  24. Sprinkle, J., Karsai, G.: A Domain-Specific Visual Language for Domain Model Evolution. Journal of Visual Languages and Computing 15(3-4), 291–307 (2004)

    Article  Google Scholar 

  25. Taentzer, G.: Instance generation from type graphs with arbitrary multiplicities. ECEASST 47 (2012)

    Google Scholar 

  26. Taentzer, G., Mantz, F., Lamo, Y.: Co-Transformation of Graphs and Type Graphs With Application to Model Co-Evolution. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 326–340. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  27. 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), www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk

Download references

Author information

Authors and Affiliations

  1. Høgskolen i Bergen, Norway

    Gabriele Taentzer, Florian Mantz & Yngve Lamo

  2. Philipps-Universität Marburg, Germany

    Gabriele Taentzer & Thorsten Arendt

Authors
  1. Gabriele Taentzer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Florian Mantz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thorsten Arendt
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yngve Lamo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Ana Moreira

  2. Institut für Mathematik, fortiss / Technische Universität München, Guerickestraße 25, 80805, München, Germany

    Bernhard Schätz

  3. Department of Computer Science, University of Alabama, Box 870290, 35487-0290, Tuscaloosa, AL, USA

    Jeff Gray

  4. ETSI Informática, Universidad de Málaga, Campus de Teatinos, Bulevar Louis Pasteur 35, 29071, Málaga, Spain

    Antonio Vallecillo

  5. School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, 33199, Miami, FL, USA

    Peter Clarke

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Taentzer, G., Mantz, F., Arendt, T., Lamo, Y. (2013). Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds) Model-Driven Engineering Languages and Systems. MODELS 2013. Lecture Notes in Computer Science, vol 8107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41533-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41533-3_16

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation