Reconfiguration dynamique des architectures logicielles

Voir Plus Voir Moins

Afficher le 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.