A Formalisation of Analysis-based Model Migration

Ingrid Chieh Yu, Henning Berg


Supporting adaptation of metamodels is essential for realising Model-Driven Engineering. However, adapting and changing metamodels impact other artefacts of the metamodelling ecosystem. In particular, conformant models will no longer be valid instances of their changed metamodel. This gives rise to co-evolution issues where metamodels and models are no longer synchronised. This is critical as systems become inconsistent. A typical approach for re-establishing conformance is to manually craft transformations which update existing models for the new metamodel variant. In this paper we present an analysis-based approach that addresses this concern. The approach enables an arbitrary number of metamodels to evolve based on an adaptation strategy. During analysis we accumulate information required to automatically transform existing models to ensure conformance. We formalise the approach and prove model conformance.


  1. Cicchetti, A., Di Ruscio, D., Eramo, R., and Pierantonio, A. (2008a). Automating co-evolution in model-driven Cicchetti, A., Di Ruscio, D., Eramo, R., and Pierantonio, A. (2008b). Meta-model differences for supporting model co-evolution. In Proc. of the 2nd International Workshop on Model-Driven Software Evolution.
  2. Del Fabro, M. D. and Valduriez, P. (2007). Semi-automatic model integration using matching transformations and weaving models. In Proceedings of the 2007 ACM Symposium on Applied Computing, pp.963-970. ACM.
  3. Didonet Del Fabro, M., Bzivin, J., and Valduriez, P. (2006). Weaving models with the eclipse amw plugin.
  4. Favre, J.-M. (2004). Towards a basic theory to model model driven engineering. In 3rd International Workshop on Software Model Engineering (WISME 7804).
  5. Fleurey, F., Baudry, B., France, R., and Ghosh, S. (2008). A generic approach for automatic model composition. In Models in Software Engineering, LNCS vol. 5002, pp.7-15. Springer.
  6. Garcs, K., Jouault, F., Cointe, P., and Bzivin, J. (2009). Managing model adaptatio by precise detection of metamodel changes. In Proc. of the 5th European Conference on Model Driven Architecture.
  7. Gruschko, B., Kolovos, D., and Paige, R. (2007). Towards synchronizing models with evolving metamodels. In Workshop on Model-Driven Software Evolution.
  8. Henderson-Sellers, B. (2012). On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer.
  9. Herrmannsdoerfer, M., Benz, S., and Juergens, E. (2009). Cope: Coupled evolution of metamodels and models for the eclipse modeling framework. In ECOOP 2009 - Object-Oriented Programming. LNCS vol. 5653, pp.52-76. Springer.
  10. Herrmannsdoerfer, M., D. Vermolen, S., and Wachsmuth, G. (2011). An extensive catalog of operators for the coupled evolution of metamodels and models. In Software Language Engineering, LNCS vol. 6563, pp.163- 182. Springer.
  11. Jouault, F.and Kurtev, I. (2005). Transforming models with atl. In Proc. of the Model Transformations in Practice Workshop at MoDELS 2005. Springer-Verlag.
  12. Kent, S. (2002). Model driven engineering. In Integrated Formal Methods, LNCS vol. 2335, pp.286-298. Springer.
  13. Kolovos, D., Paige, R., and Polack, F. (2006a). Merging models with the epsilon merging language (eml). In Model Driven Engineering Languages and Systems, LNCS vol. 4199, pp.215-229. Springer.
  14. Kolovos, D. S., Paige, R. F., and Polack, F. A. C. (2006b). Eclipse development tools for epsilon. In In Eclipse Summit Europe, Eclipse Modeling Symposium.
  15. Mantz, F., Rutle, A., Lamo, Y., Rossini, A., and Wolter, U. (2010). Towards a formal approach to metamodel evolution. In Nordic Workshop on Programming Theory.
  16. Morin, B., Klein, J., and Barais, O. (2008). A generic weaver for supporting product lines. In 13th international workshop on Early Aspects (EA 7808), pp.11-18. ACM Press.
  17. Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G., and Jzquel, J.-M. (2009). Weaving variability into domain metamodels. In Model Driven Engineering Languages and Systems, LNCS vol. 5795, pp.690-705. Springer.
  18. Narayanan, A., Levendovszky, T., Balasubramanian, D., and Karsai, G. (2009). Automatic domain model migration to manage metamodel evolution. In Schrr, A. and Selic, B., editors, MoDELS, volume 5795 of LNCS. Springer.
  19. ObjectManagementGroup (2007). MOF QVT Final Adopted Specification. OMG.
  20. ObjectManagementGroup (2014). Meta object facility (mof) core specification.
  21. Rose, L. M., Kolovos, D. S., Paige, R. F., and Polack, F. A. C. (2010). Model migration with epsilon flock. In Proc. of the Third International Conference on Theory and Practice of Model Transformations, ICMT'10, pages 184-198. Springer-Verlag.
  22. Rose, L. M., Paige, R. F., Kolovos, D. S., and Polack, F. A. C. (2009). An analysis of approaches to model migration. In Proceedings of the Models and Evolution Workshop. ACM.
  23. Ruscio, D. D., Iovino, L., and Pierantonio, A. (2012). Evolutionary togetherness: How to manage coupled evolution in metamodeling ecosystems. In In: Graph Transformations. LNCS vol. 7562, pp.20-37. Springer.
  24. Seidewitz, E. (2003). What models mean. In IEEE Software, vol. 20, no. 5, pp.26-32.
  25. Steel, J. and Jzquel, J.-M. (2007). On model typing. In Software and Systems Modeling, vol. 6, no. 4, pp.401- 413. Springer.
  26. Taentzer, G., Mantz, F., and Lamo, Y. (2012). Cotransformation of graphs and type graphs with application to model co-evolution. In In: Graph Transformations, LNCS vol. 7562, pp.326-340. Springer.
  27. TheEclipseFoundation (2014). Eclipse modeling framework (emf).
  28. Wachsmuth, G. (2007). Metamodel adaptation and model co-adaptation. In ECOOP 2007 - Object-Oriented Programming. LNCS vol. 4609, pp.600-624. Springer.

Paper Citation

in Harvard Style

Yu I. and Berg H. (2015). A Formalisation of Analysis-based Model Migration . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 86-98. DOI: 10.5220/0005240900860098

in Bibtex Style

author={Ingrid Chieh Yu and Henning Berg},
title={A Formalisation of Analysis-based Model Migration},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},

in EndNote Style

JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Formalisation of Analysis-based Model Migration
SN - 978-989-758-083-3
AU - Yu I.
AU - Berg H.
PY - 2015
SP - 86
EP - 98
DO - 10.5220/0005240900860098