Formalism and Informalism in Architectural Style: A Case Study

Proceedings of the First International Workshop on Architectures for Software Systems , April 1995.

Author: Robert Allen

BIBTEX Citation


Increasingly, developers look to software architecture to help them control the complexity of their systems. When developing a particular system, designers tend not to explore all possible alternatives for its architecture. Instead, they use specific patterns and idioms that are effective for the domain in which they are working. We term such a collection of patterns and idioms an architectural style.

Unfortunately, with few exceptions current exploitation of architectural style is informal and ad hoc. In this paper we consider an alternative to the ad hoc description of architectural styles, a formal description based on the inherent structure of software architectures. We explore this solution by describing Justo and Cunha's message passing style in Wright, an architecture description language based on CSP.

Keywords: Software architecture, architectural specification, architectural style, case studies.

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