Recherche Avancée

Thèse soutenue

Modélisation de la conception d'architectures de systèmes logiciels

FR  |  
EN
Auteur / Autrice : Rongviriyapanish Songsakdi
Direction : Nicole Lévy
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2000
Etablissement(s) : Nancy 2

Résumé

FR  |  
EN

Notre travail s'inscrit dans le thème de l'aide à la conception d'architectures logicielles. Nous proposons un modèle permettant de formaliser des styles d'architecture. Le modèle permet de développer de manière incrémentale et conjointe deux documents : une description formelle de l'architecture et un historique de la conception. La description de l'architecture est sans ambiguïté et peut être validée à l'aide d'outils existants. L'historique de la conception permet de comprendre la façon dont l'architecture a été élaborée. Cette compréhension facilite son évolution et sa réutilisation. Notre modèle utilise le langage formel LOTOS comme langage de description architecturale. Les concepts de base et les critères d'évolution de l'architecture sont décrits à l'aide des schémas LOTOS. Basée sur une relation d'équivalence comportementale de l'algèbre de processus, la correction d'une architecture, peut-être vérifiée. Nous avons décrit une architecture client-serveur d'un système d'armement AEGIS à partir de nos schémas et vérifié sa correction. Notre modèle est basé sur le modèle Proplane. Sous le modèle Proplane, toute évolution d'une conception est faire par application d'un opérateur de développement. Nous considérons que les règles de conception fournies par un style sont des contraintes portant sur la description des composants, des connecteurs et de la configuration d'une artchitecture. Nous les utilisons pour guider une conception. Dans notre modèle, ces règles sont décrites sous forme d'une bibliothèque d'opérateurs à appliquer par l'architecture