Skip to Main content Skip to Navigation
New interface
Conference papers

SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints

Djamel Eddine Khelladi 1 Reda Bendraou 1 Marie-Pierre Gervais 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Object-Oriented Models(OOM)are widely used in Model-Driven Engineering(MDE).As a complement, OCL constraints are used to specify business rules and detailed aspects of the business domain. Automatically co-evolving OCL constraints w.r.t. the evolved OOM is challenging since alternative resolutions can be applied but also a resolution cannot be applied to any arbitrary constraint. In this paper, we present SAC-OCL an Eclipse-based tool to semi automatically co-evolve OCL constraints when an OOM evolves. In contrast to existing tools, SAC-OCL proposes alternative resolutions for an impacted OCL constraint and proposes only the appropriate resolutions that can be applied on the impacted constraint. Our evaluation on six case studies shows an average correct co-evolution rate of 92%
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : reda bendraou Connect in order to contact the contributor
Submitted on : Thursday, June 15, 2017 - 3:15:52 PM
Last modification on : Tuesday, November 16, 2021 - 5:24:41 AM
Long-term archiving on: : Tuesday, December 12, 2017 - 11:28:58 AM


Files produced by the author(s)


  • HAL Id : hal-01475253, version 1


Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais. SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints. D&P@MoDELS 2016, Oct 2016, Saint-Malo, France. pp.40-47. ⟨hal-01475253⟩



Record views


Files downloads