JEVARDAT DE FOMBELLE Grégory

PhD graduated
Team : MoVe
Departure date : 09/30/2007
Supervision : Marie-Pierre GERVAIS
Co-supervision : 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.
Defence : 09/25/2007 - 10h - Site Passy-Kennedy - salle 550
Jury members :
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]

2007 Publications

 Mentions légales
Site map |