Metamodel and constraints co-evolution: A semi automatic maintenance of ocl constraints
Paper i proceeding, 2016

Metamodels are core components of modeling languages to define 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 different 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 different resolutions. We then propose a co-evolution approach that offers 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 confirm 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


Djamel Eddine Khelladi

Sorbonne Université

Regina Hebig

Göteborgs universitet

Reda Bendraou

Sorbonne Université

Jacques Robin

Sorbonne Université

Marie-Pierre Gervais

Sorbonne Université

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 9679 333-349
978-3-319-35121-6 (ISBN)


Informations- och kommunikationsteknik


Data- och informationsvetenskap






Mer information