Skip to main content
SpringerLink
Log in

A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 580))

  • 653 Accesses

Abstract

Metamodels are important artefacts in Model-Driven Engineering. Composition and adaptation of metamodels have been studied thoroughly during the last decade. However, there are still challenges concerning how to co-evolve modelling artefacts as metamodels are changed. Specifically, conformant models will no longer be valid instances of their changed metamodel. In this paper, we propose a formal analysis-based framework for composition and adaptation of metamodels. The framework enables an arbitrary number of metamodels to evolve based on adaptation strategies. During the analysis we accumulate information that are used to re-establish conformance between existing models and the metamodels. We prove how model conformance is ensured based on the accumulated information from the analysis.

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 EPUB and 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

Notes

  1. 1.

    The exact realisation of object containment is dependent on the underlying implementation.

  2. 2.

    The name chosen is decided by the implementation.

References

  1. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: Proceedings of the Enterprise Distrubuted Object Computing Conference (EDOC 2008) (2008)

    Google Scholar 

  2. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Meta-model differences for supporting model co-evolution. In: Proceedings of the 2nd International Workshop on Model-Driven Software Evolution (2008)

    Google Scholar 

  3. Del Fabro, M.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: Proceedings of the 2007 ACM Symposium on Applied Computing, pp. 963–970. ACM (2007)

    Google Scholar 

  4. Didonet Del Fabro, M., Bzivin, J., Valduriez, P.: Weaving models with the eclipse amw plugin (2006)

    Google Scholar 

  5. Favre, J.-M.: Towards a basic theory to model model driven engineering. In: 3rd International Workshop on Software Model Engineering (WISME 2004) (2004)

    Google Scholar 

  6. Fleurey, F., Baudry, B., France, R.B., Ghosh, S.: A generic approach for automatic model composition. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 7–15. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Garcés, K., Jouault, F., Cointe, P., Bézivin, J.: Managing model adaptation by precise detection of metamodel changes. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 34–49. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  8. Gruschko, B., Kolovos, D.S., Paige, R.F.: Towards synchronizing models with evolving metamodels. In: Workshop on Model-Driven Software Evolution (2007)

    Google Scholar 

  9. Henderson-Sellers, B.: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer, Heidelberg (2012)

    Book  MATH  Google Scholar 

  10. Herrmannsdoerfer, M., Benz, S., Juergens, E.: COPE - Automating coupled evolution of metamodels and models. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol. 5653, pp. 52–76. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  11. Herrmannsdoerfer, M., Vermolen, S.D., 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 

  12. Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286–298. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Eclipse development tools for epsilon. In: Eclipse Summit Europe, Eclipse Modeling Symposium (2006)

    Google Scholar 

  15. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Merging models with the epsilon merging language (EML). In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 215–229. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Mantz, F., Rutle, A., Lamo, Y., Rossini, A., Wolter, U.: Towards a formal approach to metamodel evolution. In: Nordic Workshop on Programming Theory (2010)

    Google Scholar 

  17. Morin, B., Klein, J., Barais, O.: A generic weaver for supporting product lines. In: 13th International Workshop on Early Aspects (EA 2008), pp. 11–18. ACM Press (2008)

    Google Scholar 

  18. Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G., Jézéquel, J.-M.: Weaving variability into domain metamodels. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 690–705. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  19. Narayanan, A., Levendovszky, T., Balasubramanian, D., Karsai, G.: Automatic domain model migration to manage metamodel evolution. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 706–711. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  20. ObjectManagementGroup. MOF QVT Final Adopted Specification. OMG (2007)

    Google Scholar 

  21. ObjectManagementGroup. Meta object facility (mof) core specification (2014)

    Google Scholar 

  22. Rose, L.M., Kolovos, D.S., 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. Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: An analysis of approaches to model migration. In: Proceedings of the Models and Evolution Workshop. ACM (2009)

    Google Scholar 

  24. Di Ruscio, D., Iovino, L., Pierantonio, A.: Evolutionary togetherness: how to manage coupled evolution in metamodeling ecosystems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 20–37. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  25. Seidewitz, E.: What models mean. IEEE Softw. 20(5), 26–32 (2003)

    Article  Google Scholar 

  26. Steel, J., Jzquel, J.-M.: On model typing. Softw. Syst. Model. 6(4), 401–413 (2007). Springer

    Article  Google Scholar 

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

  28. TheEclipseFoundation. Eclipse modeling framework (emf) (2014)

    Google Scholar 

  29. Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 600–624. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Oslo, Oslo, Norway

    Ingrid Chieh Yu & Henning Berg

Authors
  1. Ingrid Chieh Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henning Berg
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ingrid Chieh Yu .

Editor information

Editors and Affiliations

  1. SOFTEAM, Paris, France

    Philippe Desfray

  2. Department of Systems and Informatics, Polytechnic Institute of Setúbal, Setúbal, Portugal

    Joaquim Filipe

  3. MODESTE/ESEO, Angers, France

    Slimane Hammoudi

  4. University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Yu, I.C., Berg, H. (2015). A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, vol 580. Springer, Cham. https://doi.org/10.1007/978-3-319-27869-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-27869-8_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-27868-1

  • Online ISBN: 978-3-319-27869-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation