A Case Study in Architectural Modelling: The AEGIS System
Robert J. Allen, David Garlan · 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. 1 Introduction A critical aspect of any complex software system is its architecture. At an architectural level of design a system is typically described as a composition of high-level, interacting components. Components represent a system's main computational elements and dat...