Style-based refinement for software architecture

@inproceedings{Garlan1996StylebasedRF,
  title={Style-based refinement for software architecture},
  author={David Garlan},
  booktitle={ISAW '96},
  year={1996}
}
  • D. Garlan
  • Published in ISAW '96 14 October 1996
  • Art
A question that frequently arises for architectural design is ‘When can I implement a design in style S1 using a design in style Sz . “’ 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… 

Figures from this paper

A component-based method for software architecture refinement

The article illustrates the features and usefulness of component-based refinement method and proposes a novel architecture refinement approach framework based on the component of the architecture and on a series of formal languages for architecture refinement.

Composing style-based software architectures from architectural primitives

This dissertation motivates, presents, and validates a methodology for the composition of style-based software architectures from architectural primitives, embodied as the Alfa framework, which ensures the conformance of stylistic constraints in architectures using those styles, but it is also amenable to scalable implementation of architectural designs.

A component-based method for software architecture refinement

The features and usefulness of component-based refinement method and a framework for novel architecture refinement approach are illustrated and a simple example was illustrated to show the eminent feasibility and effectiveness of this approach with π-ARL.

A design flow for the development, characterization, and refinement of system level architectural services

The results show that not only is the proposed design flow more accurate and modular than other approaches but also that it prevents the selection of more poorly performing designs or theselection of incorrectly functioning designs through its emphasis on the preservation of fidelity.

A Classification and Comparison Framework for Software Architecture Description Languages

A definition and a classification framework for architecture description languages are presented and the utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations, enabling us, in the process, to identify key properties ofADLs.

A framework for classifying and comparing architecture description languages

A definition and a classification framework for Architecture description languages are presented and the utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations.

Architectural Primitives from Architectural Styles

An approach towards a systematic understanding of architectural styles based on a small set of recurring architectural primitives, called Alfa, which has been applied successfully to four different architectural styles to date and is worthy of careful further study.

Distilling Software Architectural Primitives from Architectural Styles

An approach towards a systematic understanding of architectural styles based on a small set of recurring architectural primitives, called Alfa, which has been applied successfully to four different architectural styles to date and is worthy of careful further study.

A framework to specify incremental software architecture transformations

This paper proposes a framework, named TranSAT (transformations for software architecture), for incrementally integrating new concerns into a software architecture, which allows a software architect to incrementally build complex architectures.

Behavior-Preserving Refinement Relations between Dynamic Software Architectures

This paper proposes a notion of refinement which requires the preservation of both structure and behavior at the lower level of abstraction and can use model checking techniques to verify that abstract scenarios can also be realized in the platform-specific architecture.

References

SHOWING 1-6 OF 6 REFERENCES

Correct Architecture Refinement

A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower-level architecture that is intended to implement it, and a special correctness criterion is defined for the domain of software architecture.

Formalizing style to understand descriptions of software architecture

This article considers conventionalized interpretations of software architecture as architectural styles and provides a formal framework for their uniform definition, providing a template for precisely defining new architectural styles.

Correction to "Specification and Analysis of System Architecture Using Rapide"

The partially ordered event set (poset) execution model is described and some of the event-based features for defining communication architectures and relationships between architectures are outlined.

Communicating sequential processes

This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When

Speci cation and analysis of system architecture using Rapide

  • IEEE Transactions on Software Engineering, Special Issue on Software Architecture,
  • 1995

Correct architecture re nement

  • IEEE Transactions on Software Engineering, Special Issue on Software Architecture,
  • 1995