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.
|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|
Last modified: 10/15/2001. For comments and problems, contact firstname.lastname@example.org.