Co-evolution of metamodels and models through consistent change propagation
| Autor: | Roberto E. Lopez-Herrejon, Alexander Egyed, Markus Riedl-Ehrenleitner, Andreas Demuth |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
ComputingMethodologies_SIMULATIONANDMODELING
Computer science Semantics (computer science) 02 engineering and technology computer.software_genre Unified Modeling Language Software_SOFTWAREENGINEERING Change propagation 0202 electrical engineering electronic engineering information engineering computer.programming_language Syntax (programming languages) business.industry Uml metamodel 020207 software engineering Domain model Metamodeling Hardware and Architecture Scalability Key (cryptography) 020201 artificial intelligence & image processing Data mining Software_PROGRAMMINGLANGUAGES Software engineering business computer Software Information Systems |
| Zdroj: | Journal of Systems and Software. 111:281-297 |
| ISSN: | 0164-1212 |
| DOI: | 10.1016/j.jss.2015.03.003 |
| Popis: | The concept of consistent change propagation (CCP) is introduced.CCP is applied to the issue of co-evolving metamodels and models.Evaluation on UML metamodel and UML models shows scalability and efficiency. In model-driven engineering (MDE), metamodels and domain-specific languages are key artifacts as they are used to define syntax and static semantics of domain models. However, metamodels are evolving over time, requiring existing domain models to be co-evolved. Though approaches have been proposed for performing such co-evolution automatically, those approaches typically support only specific metamodel changes. In this paper, we present a vision of co-evolution between metamodels and models through consistent change propagation. The approach addresses co-evolution issues without being limited to specific metamodels or evolution scenarios. It relies on incremental management of metamodel-based constraints that are used to detect co-evolution failures (i.e., inconsistencies between metamodel and model). After failure detection, the approach automatically generates suggestions for correction (i.e., repairs for inconsistencies). A case study with the UML metamodel and 23 UML models shows that the approach is technically feasible and also scalable. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect