A Case Study in Architectural Modelling: The AEGIS System

Robert Allen, and David Garlan

Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), March 1996.

Online links: Postscript PDF BIBTEX Citation

Software architecture is receiving increasingly attention as a critical design level for software systems. However, the current practice of architectural description is largely informal and ad hoc, with the consequence that architectural documents serve as a poor communication mechanism, are difficult to analyze, and may have very little relationship to the implemented system. In an attempt to address these problems several researchers have experimented with formalisms for architectural specification and modelling. One such formalism is Wright. In this paper we show how Wright can be used to provide insight into an architectural design by modelling a prototype implementation of part of the AEGIS Weapons System.
Software architecture, architectural specification, Wright, AEGIS, architectural modelling

For further information, please visit the home pages of the ABLE research project and Carnegie Mellon University's Composable Systems Group.

Last modified: 10/15/2001. For comments and problems, contact able-help@cs.cmu.edu.