Conception et développement d’un Editeur Graphique pour l’aide à la spécification des systèmes auto-adaptatifs

Abstract

Les systèmes auto-adaptatifs changent leur structure et leur comportement en fonction de la variabilité existante dans leur environnement. Cependant, il y a une grande difficulté dans leur spécification, surtout en ce qui concerne la spécification des deux types d'adaptation : l’adaptation structurelle et l'adaptation comportementale. Dans ce projet, nous avons proposé une nouvelle approche de spécification des systèmes auto-adaptatifs pour couvrir deux types de variabilités que nous avons défini, il s'agit de la variabilité au niveau de l'architecture et la variabilité au niveau de la configuration. Pour se faire, nous avons proposé un métamodèle basé sur l’approche orientée composants en intégrant des concepts de variabilité trouvés dans le domaine des lignes de produits logiciels. A la base de ce métamodèle nous avons développé un éditeur graphique pour réaliser un modèle de spécification. Ce modèle sera automatiquement transformé en un code que nous avons nommé XASADL, cette transformation est réalisée grâce aux techniques de transformation de modèles que nous avons adopté dans notre travail. Le code XASADL obtenu sera examiné par notre algorithme afin de faire une vérification structurelle du modèle de spécification d'un système. Mots clés : Système auto-adaptatif, variabilité, XASADL, transformation de modèle, Sirius, AQL.