KHELLADI Djamel Eddine
Научны(е)й руководител(и)ь : Reda BENDRAOU
Со-руководитель : GERVAIS Marie-Pierre
Co-evolution of OCL constraints with evolution of metamodels
Model-Driven Engineering (MDE) paradigm promotes the use of models and modeling languages during the development process aiming at a better quality and productivity. Metamodels are core components of any modeling language ecosystem to define structural aspects of a business domain. As a complement, the Object Constraint Language (OCL) is used to specify detailed aspects of the business domain, e.g. more than 750 constraints come with the UML metamodel. Unfortunately, metamodels are subject to a constant change and evolution which impacts the defined OCL constraints that may need to be co-evolved as well. Although several approaches have been proposed to detect metamodel changes during evolution and to use them to co-evolve OCL constraints, they still cannot detect a complete and a correct evolution trace of the metamodel while proposing a unique resolution per impacted OCL constraint whereas multiple and alternative ones can be applied.
In this thesis, we propose an approach to detect metamodel changes during evolution while aiming at completeness and high precision. Our detection approach considers both atomic and complex changes during evolution. In addition, we propose a dedicated approach to co-evolve OCL constraints while considering alternative resolutions and ensuring that only the appropriate resolutions are proposed to the user for each impacted OCL constraint. Our validation shows on the one hand that a 100% recall is always reached in our case studies with an average precision of 70.75%, which is improved by our heuristics up to 91% and 100% in some cases. On the other hand, an average of 92% and 93% of respectively syntactically and semantically correct OCL co-evolution are reached in our case studies. Both approaches are implemented as plugins for the Eclipse IDE a wide-spread software development environment. The plugins are under test by our industrial partners in the ANR MoNoGe project.
Защита диссертаций : 30.09.2016
Члены жюри :
M. Jordi Cabot, Professeur ICREA, Université de Catalogne [Rapporteur]
M. Houari Sahraoui, Professeur, Université de Montréal [Rapporteur]
M. Alexander Egyed, Professeur, Université de Johannes Kepler
M. Olivier Barais, Professeur, Université de Rennes 1, Examinateur,
M. Jacques Malenfant, Professeur, Université Pierre et Marie Curie
M. Reda Bendraou, Professeur, Université Paris X
Mme. Marie-Pierre Gervais, Professeur, Université Paris X
Публикации 2015-2018
-
2018
- R. Hebig, R. Bendraou, D. Khelladi : “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”, Software Engineering, Berlin, Germany (2018)
-
2017
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution”, Journal of Systems and Software, vol. 134, pp. 242-260, (Elsevier) (2017)
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Coadapting multidimension process properties”, Journal of Software: Evolution and Process, vol. 29 (11), Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, pp. e1860, (John Wiley & Sons, Ltd.) (2017)
- R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey”, IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers) (2017)
-
2016
- D. Khelladi : “Co-evolution of OCL constraints with evolution of metamodels”, диссертация, Защита диссертаций 30.09.2016, Научны(е)й руководител(и)ь Bendraou, Reda, Со-руководитель : Gervais, Marie-Pierre (2016)
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “AD-ROOM: a tool for automatic detection of refactorings in object-oriented models”, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume, Austin, United States, pp. 617-620, (ACM) (2016)
- D. Khelladi, R. Bendraou, R. Hebig, M.‑P. Gervais : “Supporting the co-adaption of process properties”, Proceedings of the International Conference on Software and Systems Process, Austin, TX, United States, pp. 1-5, (ACM) (2016)
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting complex changes and refactorings during (Meta)model evolution”, Information Systems, vol. 62, Information Systems, (Elsevier) (2016)
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints”, 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), Saint-Malo, France, pp. 40-47 (2016)
- D. Khelladi, R. Bendraou, M.‑P. Gervais : “Towards a User-Guided Difference-Based Detection of Atomic Changes”, Engineering of Complex Computer Systems (ICECCS), 2016 21st International Conference on, Dubai, United Arab Emirates, pp. 211-214 (2016)
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints”, Proceedings on Software Reuse: Bridging with Social-Awareness - 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, }, vol. 9679, Lecture Notes in Computer Science, Limassol, Cyprus, pp. 333-349, (Springer) (2016)
-
2015
- H. Bruneliere, J. Garcia, Ph. Desfray, D. Khelladi, R. Hebig, R. Bendraou, J. Cabot : “On Lightweight Metamodel Extension to Support Modeling Tools Agility”, 11th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), vol. 9153, Lecture Notes in Computer Science, L'Aquila, Italy, pp. 62-74, (Springer) (2015)
- D. Khelladi, R. Hebig, R. Bendraou, J. Robin, M.‑P. Gervais : “Detecting Complex Changes During Metamodel Evolution”, 27th International Conference on Advanced Information Systems Engineering, vol. 9097, Lecture Notes in Computer Science, Stockholm, Sweden, pp. 263-278 (2015)
- D. Khelladi, R. Bendraou, S. Baarir, Y. Laurent, M.‑P. Gervais : “A Framework to Formally Verify Conformance of a Software Process to a Software Method”, 30th ACM/SIGAPP Symposium On Applied Computing SAC, Salamanca, Spain, pp. 1518-1525, (ACM) (2015)
- R. Hebig, D. Khelladi, R. Bendraou : “Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution”, Software Engineering Conference (APSEC), 2015 Asia-Pacific, New Delhi, India, pp. 135-142, (IEEE Xplore) (2015)