La géstion de la cohérence sémantique lors de l'évolution des modéles appliquée aux ADLs

Abstract

Ce travail s'inscrit dans le domaine de l'évolution des modèles et la problématique liée à la gestion de l'évolution des modèles indépendamment de leurs Méta Modèle, en assurant leurs cohérences sémantiques. Les systèmes sont amenés à évoluer soit pour ajouter de nouvelles fonctionnalités, pour modifier les fonctionnalités existantes ou bien pour s'adapter aux nouveaux besoins technologiques. Ce qui implique un cout de maintenance et de développement très élevé. Afin de rendre l'évolution des systèmes moins complexe, il est nécessaire d'élever le niveau d'abstraction dans la spécification du système en utilisant le Modèle. Un modèle est une description et une spécification partielle d'un système, comme exemple les modèles relationnels, qui permettent de spécifier la structure des bases de données. Le modèle sert à expliquer un système, ainsi l'évolution de ce dernier implique celle du modèle. Cependant, la question qui se pose est: après une évolution, notre modèle est-il encore cohérentÀ. Notre principale problématique est liée à l'évolution statique et structurelle au niveau modèle. Proposer une solution automatique afin de gérer l'impact engendré par les changements, établir le lien entre le modèle de départ et le modèle d'arrivé et assurer une cohérence sémantique indépendamment de tout méta modèle. Un modèle nommé IMoSCM (Independent Model Sémantique Consistency Management) est proposé pour une gestion automatique de la cohérence sémantique indépendamment de tout méta modèle lors de l'évolution des modèles. Cette contribution est validée par une application développée en JAVA en utilisant ECLIPS. Une illustration est présentée au travers de deux ADL ACME et xADL