Skip to Main content Skip to Navigation
Conference papers

Assistance System for OCL Constraints Adaptation during Metamodel Evolution.

Kahina Hassam 1 Salah Sadou 1 Vincent Le Gloahec 1 Régis Fleurquin 1 
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Metamodels evolve over time, as well as other artifacts. In most cases, this evolution is performed manually by stepwise adaptation. In most cases, metamodels are described using the MOF language. Often OCL constraints are added to metamodels in order to ensure consistency of their instances (models). However, during metamodel evolution these constraints are omitted or manually rewritten, which is time consuming and error prone. We propose a tool to help the designer to make a decision on the constraints attached to a metamodel during its evolution. Thus, the tool highlights the constraints that should disappear after evolution and makes suggestions for those which need adaptation to remain consistent. For the latter case, we formally describe how the OCL constraints have to be transformed to preserve their syntactical correctness. Our adaptation rules are defined using QVT which is the OMG standard language for specifying model-to-model transformations.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Régis Fleurquin Connect in order to contact the contributor
Submitted on : Tuesday, January 31, 2012 - 3:34:17 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:56 PM
Long-term archiving on: : Monday, November 19, 2012 - 3:20:32 PM


Files produced by the author(s)



Kahina Hassam, Salah Sadou, Vincent Le Gloahec, Régis Fleurquin. Assistance System for OCL Constraints Adaptation during Metamodel Evolution.. 15th European Conference on Software Maintenance and Reengineering (CSMR), 2011, Mar 2011, Oldenburg, Germany. pp.151 - 160, ⟨10.1109/CSMR.2011.21⟩. ⟨hal-00664786⟩



Record views


Files downloads