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.

Publications 2007

• 2007
  • G. Jevardat de Fombelle : “Gestion incrémentale des propriétés de cohérence structurelle dans l’ingénierie dirigée par les modèles”, soutenance de thèse, soutenance 25/09/2007, direction de recherche Gervais, Marie-Pierre, co-encadrement : Blanc, Xavier (2007)