Skip to Main content Skip to Navigation
Conference papers

Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints

Djamel Eddine Khelladi 1 Regina Hebig 1 Reda Bendraou 1 Jacques Robin 1 Marie-Pierre Gervais 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Metamodels are core components of modeling languages to dene structural aspects of a business domain. As a complement, OCL constraints are used to specify detailed aspects of the business domain, e.g. more than 750 constraints come with the UML metamodel. As the metamodel evolves, its OCL constraints may need to be co-evolved too. Our systematic analysis shows that semantically dierent resolutions can be applied depending not only on the metamodel changes, but also on the user intent and on the structure of the impacted constraints. In this paper, we investigate the reasons that lead to apply dierent resolutions. We then propose a co-evolution approach that oers alternative resolutions while allowing the user to choose the best applicable one. We evaluated our approach on the evolution of the UML case study. The results conrm the need of alternative resolutions along with user decision to cope with real co-evolution scenarios. The results show that our approach reaches 80% of semantically correct co-evolution.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : reda bendraou Connect in order to contact the contributor
Submitted on : Friday, September 30, 2016 - 7:21:08 PM
Last modification on : Tuesday, November 16, 2021 - 5:24:37 AM
Long-term archiving on: : Saturday, December 31, 2016 - 4:22:23 PM


Files produced by the author(s)



Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais. Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints. ICSR 2016 - 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus. pp.333-349, ⟨10.1007/978-3-319-35122-3_22⟩. ⟨hal-01374665⟩



Record views


Files downloads