Date : 2000
Editeur / Publisher : [S.l.] : [s.n.] , 2000
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Conception assistée par ordinateur
Résumé / Abstract : 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
Résumé / Abstract : Our work joins in the theme of the help(assistant) the conception(design) of software architectures. We propose a model allowing to formalize styles of architecture. The model allows to develop in a incremental and joint way two documents: a formal description of the architecture and a history of the conception(design). The description of the architecture is without ambiguity and can be validated by means of existing tools. The history of the conception(design) allows to understand(include) the way the architecture was elaborated. This understanding facilitates its evolution and its re-use. Our model uses the formal language BINGOES as language of architectural description. The basic concepts and the criteria of evolution of the architecture are described by means of plans BINGOES. Based on a relation of behavioral equivalence of the algebra of process, the correction of architecture, maybe verified. We described architecture customer-waiter(-server) of a system of armament AEGIS from our plans and verified his(her,its) correction. Our model is based on the Proflat model. Under the Proflat model, any evolution of a conception(design) is to make by application of an operator of development. We consider that the rules(rulers) of conception(design) supplied by a style are constraints concerning the description of components, connectors and configuration of architecture. We use them to guide a conception(design). In our model, these rules(rulers) are described in the form of operators' library(bookcase) to be applied by the architecture