Automated Metamodel/Model Co-evolution Using a Multi-objective Optimization Approach

  • Wael KessentiniEmail author
  • Houari Sahraoui
  • Manuel Wimmer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9764)


We propose a generic automated approach for the metamodel/model co-evolution. The proposed technique refines an initial model to make it as conformant as possible to the new metamodel version by finding the best compromise between three objectives, namely minimizing (i) the non-conformities with new metamodel version, (ii) the changes to existing models, and (iii) the loss of information. Consequently, we view the co-evolution as a multi-objective optimization problem, and solve it using the NSGA-II algorithm. We successfully validated our approach on the evolution of the well-known UML state machine metamodel. The results confirm the effectiveness of our approach with average precision and recall respectively higher than 87 % and 89 %.


Metamodel/model co-evolution Model migration Coupled evolution NSGA-II 


  1. 1.
    Object Management Group, Unified Modeling Language Specification v1.4 and v2.0.
  2. 2.
    Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of ICSE (2011)Google Scholar
  3. 3.
    Banerjee, J., Kim, W., Kim, H.J., Korth, H.F.: Semantics and implementation of schema evolution in object-oriented databases. In: Proceedings of SIGMOD (1987)Google Scholar
  4. 4.
    Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: Proceedings of EDOC (2008)Google Scholar
  5. 5.
    Deb, K., Agrawal, S., Pratap, A., Meyarivan, T.: A fast elitist non-dominated sorting genetic algorithm for multi-objective optimization: NSGA-II. In: Deb, K., Rudolph, G., Lutton, E., Merelo, J.J., Schoenauer, M., Schwefel, H.-P., Yao, X. (eds.) PPSN 2000. LNCS, vol. 1917, pp. 849–858. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  6. 6.
    Demuth, A., Lopez-Herrejon, R.E., Egyed, A.: Co-evolution of metamodels and models through consistent change propagation. In: Proceedings of ME Workshop (2013)Google Scholar
  7. 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)CrossRefGoogle Scholar
  8. 8.
    Gruschko, B.: Towards synchronizing models with evolving metamodels. In: Proceedings of MoDSE Workshop (2007)Google Scholar
  9. 9.
    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., Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 163–182. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Herrmannsdoerfer, M.: COPE – a workbench for the coupled evolution of metamodels and models. In: Malloy, B., Staab, S., Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 286–295. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  11. 11.
    Iovino, L., Pierantonio, A., Malavolta, I.: On the impact significance of metamodel evolution in MDE. J. Object Technol. 11(3), 1–33 (2012)CrossRefGoogle Scholar
  12. 12.
    Mantz, F., Lamo, Y., Taentzer, G.: Co-transformation of type and instance graphs supporting merging of types with retyping. ECEASST 61, 1–24 (2013)Google Scholar
  13. 13.
    Meyers, B., Vangheluwe, H.: A framework for evolution of modelling languages. Sci. Comput. Program. 76(12), 1223–1246 (2011)CrossRefGoogle Scholar
  14. 14.
    Meyers, B., Wimmer, M., Cicchetti, A., Sprinkle, J.: A generic in-place transformation-based approach to structured model co-evolution. In: Proceedings of MPM Workshop (2010)Google Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Olaechea, R., Rayside, D., Guo, J., Czarnecki, K.: Comparison of exact and approximate multi-objective optimization for software product lines. In: Proceedings of SPLC (2014)Google Scholar
  17. 17.
    Richters, M.: A precise approach to validating UML models and OCL constraints. Technical report (2001)Google Scholar
  18. 18.
    Roddick, J.F.: Schema evolution in database systems: an annotated bibliography. SIGMOD Rec. 21(4), 35–40 (1992)CrossRefGoogle Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: An analysis of approaches to model migration. In: Proceedings of MoDSE-MCCM Workshop (2009)Google Scholar
  21. 21.
    Rose, L., Herrmannsdoerfer, M., Mazanek, S., Van Gorp, P., Buchwald, S., Horn, T., Kalnina, E., Koch, A., Lano, K., Schätz, B., Wimmer, M.: Graph and model transformation tools for model migration. SoSyM 13(1), 323–359 (2014)Google Scholar
  22. 22.
    Schoenboeck, J., Kusel, A., Etzlstorfer, J., Kapsammer, E., Schwinger, W., Wimmer, M., Wischenbart, M.: CARE: a constraint-based approach for re-establishing conformance-relationships. In: Proceedings of APCCM (2014)Google Scholar
  23. 23.
    Sprinkle, J., Karsai, G.: A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15(3–4), 291–307 (2004)CrossRefGoogle Scholar
  24. 24.
    Wachsmuth, G.: Metamodel adaptation and model co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 600–624. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  25. 25.
    Williams, J.R., Paige, R.F., Polack, F.A.C.: Searching for model migration strategies. In: Proceedings of ME Workshop (2012)Google Scholar
  26. 26.
    Wimmer, M., Kusel, A., Schoenboeck, J., Retschitzegger, W., Schwinger, W.: On using inplace transformations for model co-evolution. In: Proceedings of MtATL Workshop (2010)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Wael Kessentini
    • 1
    Email author
  • Houari Sahraoui
    • 1
  • Manuel Wimmer
    • 2
  1. 1.DIROUniversity of MontrealMontrealCanada
  2. 2.Business Informatics GroupVienna University of TechnologyViennaAustria

Personalised recommendations