@InProceedings{Allen96IWSSD,
      AUTHOR = {Allen, Robert},
      TITLE = {Formalism and Informalism in Architectural Style: A Case Study},
      YEAR = {1995},
      MONTH = {April},
      BOOKTITLE = {Proceedings of the First International Workshop on Architectures for Software Systems},
      KEY = {Garlan},
      ABSTRACT = {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 = {Architectural Style, Software Architecture}
}