Title :
A case study in architectural modeling: the AEGIS system
Author :
Allen, Robert ; Garlan, David
Author_Institution :
Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
Abstract :
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 the WRIGHT specification language. 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 (AWS)
Keywords :
formal specification; military computing; specification languages; weapons; AEGIS Weapons System; WRIGHT specification language; architectural documents; architectural modeling; architectural specification; case study; critical design level; prototype implementation; software architecture; Access protocols; Computer aided software engineering; Computer architecture; Control systems; Databases; Prototypes; Software architecture; Software design; Software prototyping; Software systems; Specification languages; US Government; Weapons;
Conference_Titel :
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on
Conference_Location :
Schloss Velen
Print_ISBN :
0-8186-7361-3
DOI :
10.1109/IWSSD.1996.501142
