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

Djamel 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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01475253
Contributor : Reda Bendraou <>
Submitted on : Thursday, June 15, 2017 - 3:15:52 PM
Last modification on : Thursday, March 21, 2019 - 1:13:27 PM
Long-term archiving on : Tuesday, December 12, 2017 - 11:28:58 AM

File

D2P_MODELS.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01475253, version 1

Citation

Djamel 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⟩

Share

Metrics

Record views

55

Files downloads

40