Un langage d'action pour la spécification et la validation du comportement d'une architecture logicielle

Abstract

L'architecture logicielle est une discipline récente qui s'intéresse aux structures d'un logiciel. Apparue sous ce nom au début des années 90, elle s'adressait plus particulièrement à la conception de logiciels de grande taille ou de familles de produits logiciels. Une architecture logicielle décrit l’ensemble des composants de l’architecture et donne la définition de leur assemblage. Aussi, elle prend en compte les structures d’accueil nécessaires pour le déploiement et l’exploitation du système résultant. Dans ce travail, nous présentons une approche pour la description, la spécification et la validation de comportement d’une architecture logiciel dynamique. Le travail rentre dans le cadre de la proposition de solutions aux problèmes qui se posent actuellement dans la spécification de la dynamique dans les langages de description d’architecture logicielle. L’objectif est de développer un langage de spécification d'architecture logicielle dynamique. Ce langage, appelé SEAL (Simple and Extensible Action Language), est de type langage d’action. Il est inspiré de Precise Action Semantic de UML. Il rentre dans le cadre des axes de recherche visant la spécification de modèles exécutables. La mise en œuvre du langage d'action est réalisée dans le contexte d'un environnement graphique qui permet la conception et la validation de l'évolution structurelle d'une architecture. Cette validation se fait par l'exécution d'architecture à un haut niveau d'abstraction.