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

L'ingenierie dirigee par les modeles se caracterise par l'utilisation de multiples modeles comme supports productifs a l'ingenierie des systemes complexes. Dans ce cadre, les modeles doivent respecter un certain nombre de contraintes appelees regles de coherence. Il est alors necessaire de fournir des langages, des techniques et des outils pour exprimer ces regles, detecter d'eventuelles incoherences et fournir des mecanismes pour les traiter. Si de nombreuses approches ont ete proposees, elles ne repondent que partiellement a ce probleme lorsque les modeles sont soumis a des modifications: quelles regles doit on re-verifier, sur quelles parties des modeles ? Dans cette these, nous proposons une approche pour la gestion incrementale des proprietes de coherence structurelle dans l'ingenierie dirigee par les modeles. Nous donnons une definition mathematique de la structure des modeles, des metamodeles et de leurs constructions. Ensuite, nous fournissons un langage d'expression de contraintes structurelles sur ces modeles. Enfin, nous montrons comment detecter de facon incremenale des incoherences, non pas sur les modeles mais a partir d'une sequence de modifications des modeles, permettant de ne verifier qu'une partie des regles de coherence sur une partie des modeles a chaque modification