skip to main content
10.1145/3239372.3239375acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search

Published: 14 October 2018 Publication History

Abstract

Metamodels evolve even more frequently than programming languages. This evolution process may result in a large number of instance models that are no longer conforming to the revised meta-model. On the one hand, the manual adaptation of models after the metamodels' evolution can be tedious, error-prone, and time-consuming. On the other hand, the automated co-evolution of metamodels/models is challenging especially when new semantics is introduced to the metamodels. In this paper, we propose an interactive multi-objective approach that dynamically adapts and interactively suggests edit operations to developers and takes their feedback into consideration. Our approach uses NSGA-II to find a set of good edit operation sequences that minimizes the number of conformance errors, maximizes the similarity with the initial model (reduce the loss of information) and minimizes the number of proposed edit operations. The designer can approve, modify, or reject each of the recommended edit operations, and this feedback is then used to update the proposed rankings of recommended edit operations. We evaluated our approach on a set of metamodel/model coevolution case studies and compared it to fully automated coevolution techniques.

References

[1]
F. Anguel, A. Amirat, and N. Bounour. 2014. Using weaving models in metamodel and model co-evolution approach. In Proceedings of CSIT.
[2]
Fouzia Anguel, Abdelkrim Amirat, and Nora Bounour. 2015. Hybrid Approach for Metamodel and Model Co-evolution. In Proceedings of CIIA.
[3]
Andrea Arcuri and Lionel Briand. 2011. A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering. In Proceedings of ICSE.
[4]
Edouard Batot, Wael Kessentini, Houari Sahraoui, and Michalis Famelis. 2017. Heuristic-based Recommendation for Metamodel OCL Coevolution. In Proceedings of MODELS.
[5]
Marco Brambilla, Jordi Cabot, and Manuel Wimmer. 2017. Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers.
[6]
Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque, and Alfonso Pierantonio. 2011. On the concurrent versioning of metamodels and models: Challenges and possible solutions. In Proceedings of IWMCP.
[7]
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2008. Automating co-evolution in model-driven engineering. In Proceedings of EDOC.
[8]
Kalyanmoy Deb, Samir Agrawal, Amrit Pratap, and T Meyarivan. 2000. A Fast Elitist Non-dominated Sorting Genetic Algorithm for Multi-objective Optimization: NSGA-II. In Proceedings of PPSN.
[9]
Davide Di Ruscio, Ralf Lämmel, and Alfonso Pierantonio. 2011. Automated Co-evolution of GMF Editor Models. In Proceedings of SLE.
[10]
Kelly Garcés, Frédéric Jouault, Pierre Cointe, and Jean Bézivin. 2009. Managing model adaptation by precise detection of metamodel changes. In Proceedings of ECMFA.
[11]
Boris Gruschko. 2007. Towards synchronizing models with evolving metamodels. In Proceedings of MoDSE Workshop.
[12]
Regina Hebig, Djamel Eddine Khelladi, and Reda Bendraou. 2017. Approaches to coevolution of metamodels and models: A survey. IEEE Transactions on Software Engineering 43, 5 (2017), 396--414.
[13]
Markus Herrmannsdoerfer. 2011. GMF: A Model Migration Case for the Transformation Tool Contest. In Proceedings of TTC.
[14]
Markus Herrmannsdoerfer, Sebastian Benz, and Elmar Juergens. 2009. COPE - Automating Coupled Evolution of Metamodels and Models. In Proceedings of ECOOP.
[15]
Markus Herrmannsdoerfer and Daniel Ratiu. 2010. Limitations of Automating Model Migration in Response to Metamodel Adaptation. In Models in Software Engineering. 205--219.
[16]
Markus Herrmannsdoerfer, Daniel Ratiu, and Guido Wachsmuth. 2010. Language Evolution in Practice: The History of GMF. In Proceedings of SLE.
[17]
Markus Herrmannsdoerfer, SanderD. Vermolen, and Guido Wachsmuth. 2011. An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In Proceedings of SLE.
[18]
Markus Herrmannsdoerfer, Sander D. Vermolen, and Guido Wachsmuth. 2011. An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In Proceedings of SLE.
[19]
Markus Herrmannsdörfer. 2011. COPE - A Workbench for the Coupled Evolution of Metamodels and Models. In Proceedings of SLE.
[20]
Ludovico Iovino, Alfonso Pierantonio, and Ivano Malavolta. 2012. On the Impact Significance of Metamodel Evolution in MDE. Journal of Object Technology 11, 3 (2012), 3:1--33.
[21]
Robert Jackson, Chris Carter, and Michael Tarsitano. 2001. Trial-and-Error Solving of a Confinement Problem by a Jumping Spider, Portia fimbriata. Behaviour 138, 10 (2001), 1215--1234.
[22]
Wael Kessentini. 2015. Automated Metamodel/Model Co-Evolution using a Multi-Objective Optimization Approach. In Proceedings of the ACM Student Research Competition at MODELS.
[23]
Wael Kessentini. 2018. Constraints for model coevolution: https://docs.google.com/document/d/1O1GjOcvvBgPuVacB12noygNaJ75y0nwySdGmiqGXouQ.
[24]
Wael Kessentini, Houari A. Sahraoui, and Manuel Wimmer. 2016. Automated Metamodel/Model Coevolution Using a Multi-objective Optimization Approach. In Proceedings of ECMFA.
[25]
Florian Mantz, Yngve Lamo, and Gabriele Taentzer. 2013. Co-Transformation of Type and Instance Graphs Supporting Merging of Types with Retyping. ECEASST 61 (2013), 24.
[26]
Florian Mantz, Gabriele Taentzer, Yngve Lamo, and Uwe Wolter. 2015. Coevolving metamodels and their instance models: A formal approach based on graph transformation. Sci. Comput. Program. 104 (2015), 2--43.
[27]
Bart Meyers, Manuel Wimmer, Antonio Cicchetti, and Jonathan Sprinkle. 2010. A generic inplace transformation-based approach to structured model coevolution. In Proceedings of MPM Workshop.
[28]
Lailil Muflikhah and Baharum Baharudin. 2009. Document clustering using concept space and cosine similarity measurement. In Proceedings of ICCTD.
[29]
Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, and Gabor Karsai. 2009. Automatic Domain Model Migration to Manage Metamodel Evolution. In Proceedings of MODELS.
[30]
Alexander Pollatsek and Arnold D Well. 1995. On the use of counterbalanced designs in cognitive research: A suggestion for a better and more powerful analysis. Journal of Experimental Psychology: Learning, Memory, and Cognition 21, 3 (1995), 785.
[31]
Mark Richters. 2001. A precise approach to validating UML models and OCL constraints. Technical Report.
[32]
Louis M. Rose, Markus Herrmannsdoerfer, Steffen Mazanek, Pieter Van Gorp, Sebastian Buchwald, Tassilo Horn, Elina Kalnina, Andreas Koch, Kevin Lano, Bernhard Schätz, and Manuel Wimmer. 2014. Graph and model transformation tools for model migration - Empirical results from the transformation tool contest. Software and System Modeling 13, 1 (2014), 323--359.
[33]
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, and Fiona A. C. Polack. 2010. Model migration with Epsilon Flock. In Proceedings of ICMT.
[34]
Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, and Fiona A. C. Polack. 2009. An Analysis of Approaches to Model Migration. In Proceedings of MoDSE-MCCM Workshop.
[35]
Davide Di Ruscio, Juergen Etzlstorfer, Ludovico Iovino, Alfonso Pierantonio, and Wieland Schwinger. 2016. Supporting Variability Exploration and Resolution During Model Migration. In Proceedings of ECMFA.
[36]
Johannes Schoenboeck, Angelika Kusel, Juergen Etzlstorfer, Elisabeth Kapsammer, Wieland Schwinger, Manuel Wimmer, and Martin Wischenbart. 2014. CARE: A Constraint-based Approach for Re-establishing Conformance-relationships. In Proceedings of APCCM.
[37]
Jonathan Sprinkle and Gabor Karsai. 2004. A Domain-Specific Visual Language for Domain Model Evolution. J. Vis. Lang. Comput. 15, 3-4 (2004), 291--307.
[38]
Gabriele Taentzer, Florian Mantz, Thorsten Arendt, and Yngve Lamo. 2013. Customizable Model Migration Schemes for Metamodel Evolutions with Multiplicity Changes. In Proceedings of MODELS.
[39]
Sander Vermolen and Eelco Visser. 2008. Heterogeneous Coupled Evolution of Software Languages. In Proceedings of MODELS.
[40]
Guido Wachsmuth. 2007. Metamodel adaptation and model co-adaptation. In Proceedings of ECOOP.
[41]
M. Wimmer, A. Kusel, J. Schoenboeck, W. Retschitzegger, and W. Schwinger. 2010. On using inplace transformations for model coevolution. In Proceedings of MtATL Workshop.

Cited By

View all
  • (2024)"Don’t Touch my Model!" Towards Managing Model History and Versions during Metamodel EvolutionProceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results10.1145/3639476.3639758(77-81)Online publication date: 14-Apr-2024
  • (2024)“What Happened to my Models?” History-Aware Co-Existence and Co-Evolution of Metamodels and Models2024 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58944.2024.00027(187-198)Online publication date: 6-Oct-2024
  • (2024)Supporting reusable model migration with EdeltaJournal of Systems and Software10.1016/j.jss.2024.112012212(112012)Online publication date: Jun-2024
  • Show More Cited By

Index Terms

  1. Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
    October 2018
    478 pages
    ISBN:9781450349499
    DOI:10.1145/3239372
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 14 October 2018

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Coupled Evolution
    2. Interactive Optimization
    3. Metamodel/Model Co-Evolution
    4. Search Based Software Engineering

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    MODELS '18
    Sponsor:

    Acceptance Rates

    MODELS '18 Paper Acceptance Rate 29 of 101 submissions, 29%;
    Overall Acceptance Rate 144 of 506 submissions, 28%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)10
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 14 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)"Don’t Touch my Model!" Towards Managing Model History and Versions during Metamodel EvolutionProceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results10.1145/3639476.3639758(77-81)Online publication date: 14-Apr-2024
    • (2024)“What Happened to my Models?” History-Aware Co-Existence and Co-Evolution of Metamodels and Models2024 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58944.2024.00027(187-198)Online publication date: 6-Oct-2024
    • (2024)Supporting reusable model migration with EdeltaJournal of Systems and Software10.1016/j.jss.2024.112012212(112012)Online publication date: Jun-2024
    • (2024)Search-based co-creation of software models: The case of particle systems for video gamesInformation and Software Technology10.1016/j.infsof.2024.107466171(107466)Online publication date: Jul-2024
    • (2024)Interactive search-based Product Line Architecture designAutomated Software Engineering10.1007/s10515-024-00457-631:2Online publication date: 9-Jul-2024
    • (2024)Automated testing of metamodels and code co-evolutionSoftware and Systems Modeling10.1007/s10270-024-01245-2Online publication date: 9-Dec-2024
    • (2024)A framework for evaluating tool support for co-evolution of modeling languages, tools and modelsSoftware and Systems Modeling10.1007/s10270-024-01218-5Online publication date: 10-Oct-2024
    • (2023)Studying the Influence and Distribution of the Human Effort in a Hybrid Fitness Function for Search-Based Model-Driven EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2023.332973049:12(5189-5202)Online publication date: 1-Dec-2023
    • (2023)Leveraging Artificial Intelligence for Model-based Software Analysis and DesignOptimising the Software Development Process with Artificial Intelligence10.1007/978-981-19-9948-2_4(93-117)Online publication date: 20-Jul-2023
    • (2023)Model‐based source code refactoring with interaction and visual cuesJournal of Software: Evolution and Process10.1002/smr.2596Online publication date: 13-Jul-2023
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media