Back to Search Start Over

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

Authors :
Khelladi, Djamel Eddine
Bendraou, Reda
Gervais, Marie-Pierre
Modélisation et Vérification (MoVe)
Laboratoire d'Informatique de Paris 6 (LIP6)
Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)
bendraou, reda
Source :
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), D&P@MoDELS 2016, D&P@MoDELS 2016, Oct 2016, Saint-Malo, France. pp.40-47
Publication Year :
2016
Publisher :
HAL CCSD, 2016.

Abstract

International audience; 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%

Details

Language :
English
Database :
OpenAIRE
Journal :
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), D&P@MoDELS 2016, D&P@MoDELS 2016, Oct 2016, Saint-Malo, France. pp.40-47
Accession number :
edsair.dedup.wf.001..7028b1137499893499eab493c43c03bb