Thèse soutenue

Assistance à la spécification de contraintes OCL dans les métamodèles
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Elyes Cherfa
Direction : Salah SadouRégis FleurquinChouki Tibermacine
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 15/12/2021
Etablissement(s) : Lorient
Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
Partenaire(s) de recherche : Laboratoire : Institut de recherche en informatique et systèmes aléatoires (Rennes) - Institut de Recherche en Informatique et Systèmes Aléatoires / IRISA
Jury : Président / Présidente : Olivier Barais
Rapporteurs / Rapporteuses : Houari A. Sahraoui, Anne Etien

Résumé

FR  |  
EN

Un métamodèle permet de capturer la connaissance du domaine par la définition de la structure du domaine (concepts et relations entre eux) et des contraintes (expressions logiques) souvent écrites en OCL pour préciser la sémantique statique. Les contraintes OCL ajoutées à un métamodèle sont de deux types : 1) les contraintes liées au domaine, qui diffèrent d'un domaine à un autre et qui sont exprimées sur la base des connaissances des experts ; 2) celles qui sont ajoutées à la majorité des métamodèles pour préciser certaines structures imprécises qui peuvent poser des problèmes lors de l'instanciation des modèles. Nous appelons ces structures les structures imprecises des métamodèles (MIS). Malheureusement, la tâche de spécifier les contraintes OCL est souvent négligée. En effet, on peut trouver dans la littérature de nombreux métamodèles avec un ensemble incomplet de contraintes OCL, ou même sans contraintes. Par conséquent, en partant d'un métamodèle avec un ensemble incomplet de contraintes OCL, il est possible de créer des modèles qui sont conformes au métamodèle, mais qui ne représentent pas le domaine visé. Dans la littérature, de nombreux travaux ont été réalisés concernant le langage OCL, plus particulièrement sur l'aide à la définition et à la génération automatique de contraintes OCL pendant la phase de conception du métamodèle, ou encore sur la co-évolution des contraintes OCL existantes après l'évolution de leur métamodèle. Dans cette thèse de doctorat, nous nous concentrons principalement sur les contraintes liées à la structure. Nous commençons par étudier "où" les contraintes OCL sont souvent définies dans le métamodèle, et "pourquoi" elles sont définies. Pour ce faire, nous réalisons une étude empirique sur les métamodèles et leurs contraintes OCL. Cette étude empirique a donné lieu à un ensemble de structures inexactes de métamodèles (MIS). Nous validons les résultats quantitativement et qualitativement. La deuxième contribution concerne la co-évolution des contraintes OCL après l'évolution de leur métamodèle. Dans ce contexte, nous avons proposé une approche basée sur les MIS pour compléter les approches de co-évolution existantes car elles se concentrent sur la co-évolution de l'ensemble des contraintes OCL, mais elles ne prennent pas en compte les nouveaux concepts qui peuvent être ajoutés dans la version évoluée du métamodèle. L'approche a été testée sur une étude de cas qui a donné des résultats encourageants.