JEVARDAT DE FOMBELLE Grégory

Direction de recherche : Marie-Pierre GERVAIS

Co-encadrement : BLANC Xavier

Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles

L'ingénierie dirigée par les modèles se caractérise par l'utilisation de multiples modèles comme supports productifs à l'ingénierie des systèmes complexes. Dans ce cadre, les modèles doivent respecter un certain nombre de contraintes appelées règles de cohérence. Il est alors nécessaire de fournir des langages, des techniques et des outils pour exprimer ces règles, détecter d'éventuelles incohérences et fournir des mécanismes pour les traiter. Si de nombreuses approches ont été proposées, elles ne répondent que partiellement à ce problème lorsque les modèles sont soumis à des modifications: quelles règles doit on re-vérifier, sur quelles parties du modèles ? Dans cette thèse, nous proposons une approche pour la gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles. Nous donnons une définition mathématique de la structure des modèles, des métamodèles et de leurs constructions. Ensuite, nous fournissons un langage d'expression de contraintes structurelles sur ces modèles. Enfin, nous montrons comment détecter de façon incrémentale des incohérences, non pas sur le modèles mais à partir d'une séquence de modifications des modèles, permettant de ne vérifier qu'une partie des règles de cohérence sur une partie des modèles à chaque modification.

Soutenance : 25/09/2007

Membres du jury :

Pr. Pierre Bazex, Université Paul Sabatier - Toulouse [Rapporteur]
Pr. Michel Riveill, Université de Nice-Sophia Antipolis
MdC. Mireille Blay-Fornarino, Université de Nice-Sophia Antipolis [Rapporteur]
Pr. Fabrice Kordon, Pierre et Marie Curie
Pr. Tom Mens, Université de Mons-Hainaut, Belgique
Dr. Laurent Rioux, Thales Research and Technology France
MdC. Xavier Blanc, Université Pierre et Marie Curie
Pr. Marie-Pierre Gervais, Université de Paris X - Nanterre [Directrice]

Date de départ : 30/09/2007

Publications 2007