Reconfiguration Dynamique Des Architectures Logicielles

Résumé: En réponse au besoin croissant d’évolutivité des systèmes et en parallèle au besoin de fiabilité, le travail de recherche effectué dans cette thèse s’inscrit dans le cadre du domaine de l’évolution d’architecture logicielle. Il a comme objectif principal l’introduction d’une approche permettant d’assurer la fiabilité d’une architecture à base de composants tout au long de son évolution. Le langage de description d’architectures Acme est au cœur de notre travail. C’est un langage déclaratif basé sur la logique de prédicat de premier ordre, qui prend en charge le paradigme des composants et des connecteurs avec les types, ainsi que les invariants et les styles architecturaux, et il supporte également les contraintes. Notre démarche peut se résumer en deux étapes. La première étape consiste en la défi nition de la cohérence des systèmes et de leur architecture (ou configuration). La deuxième étape est la définition de la cohérence de leurs évolutions (ou reconfigurations), pour la mise en œuvre des mécanismes de reconfigurations fiables. Nous avons d’abord exprimé ces contraintes dans la logique de prédicat de premier ordre, puis, dans un second temps, nous les avons traduites dans le formalisme Acme/Armani, pour assurer la conformité syntaxique et de composition, et afin de rendre la configuration aussi fiable et cohérente que la conception. L’objectif final est de fournir un continuum complet de la configuration statique à la reconfiguration dynamique, grâce à la conception d’un canevas logiciel dédié à une plateforme d’exécution propre à Acme, muni d’un ensemble d’objets de contrôle suffisamment riches et flexibles

Publié dans la revue: