Style-Based Refinement for Software Architecture

David Garlan

Proceedings of the Second International Software Architecture Workshop (ISAW2), October 1996.

Online links: Postscript PDF BIBTEX Citation

A question that frequently arises for architectural design is "When can I implement a design in style S1 using a design in style S2?" In this paper I propose a technique for structuring a solution to this kind of problem using the idea of substyles. This technique leads to a two-step process in which first, useful subsets of a family of architectures are identified, and second, refinement rules specific to these subsets are established. I will argue that this technique, in combination with an unconventional interpretation of refinement, clarifies how engineers actually carry out architectural refinement and provides a formal framework for establishing the correctness of those methods.
Software architecture, architectural specification, refinement, architectural style, architectural modeling

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

Last modified: 10/15/2001. For comments and problems, contact