Maintien de la cohérence de modèles de conception hétérogènes

Abstract

L’application de l’ingenierie dirigee par les modeles au developpement de systemes complexes introduit un ensemble de modeles heterogenes, elabores separement, dans des langages varies. Afin de garantir la bonne execution de l’ensemble et sa coherence, il est necessaire de proceder a la composition des modeles heterogenes, puis a la mise en œuvre d’un ensemble de mecanismes permettant de l’exploiter. Cet article presente un processus semi-automatise qui consiste d’une part a mettre en correspondance des modeles heterogenes, et d’autre part, a maintenir la coherence de l’ensemble par synchronisation des changements. Pour demontrer la faisabilite de l’approche, nous avons developpe un outil support, en l’appliquant a l’exemple d’un systeme de gestions d’anomalies.