Date of Original Version

3-1996

Type

Conference Proceeding

Abstract or Description

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)

DOI

10.1109/IWSSD.1996.501142

Share

COinS
 

Published In

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