Style-based refinement of dynamic software architectures

  title={Style-based refinement of dynamic software architectures},
  author={Luciano Baresi and Reiko Heckel and Sebastian Th{\"o}ne and D{\'a}niel Varr{\'o}},
  journal={Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)},
  • L. Baresi, R. Heckel, Dániel Varró
  • Published 12 June 2004
  • Computer Science
  • Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004)
In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We consider the challenging case of dynamic architectures which can perform run-time reconfigurations. For this purpose, the underlying platform has to provide the necessary reconfiguration mechanisms. To conceptually model such platforms including provided reconfiguration mechanisms, we use architectural styles formalized by graph transformation rules. Based on formal… 

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.

Style-based modeling and refinement of service-oriented architectures

This paper addresses the modeling of such architectures by refining business-oriented architectures, which abstract from technology aspects, into service-oriented ones, focusing on the ability of dynamic reconfiguration typical for SOA.

Behavioral Refinement of Graph Transformation-Based Models

Automatic Refinement of Platform Independent Models

This paper proposes a formal and automatic approach to refinement platform independent models to more platform specific ones, using graph transformation systems as background formalism to validate the approach to being sure about its correctness.

Semantic Issues in Architectural Refinement

This paper describes a concrete tool that enables architects to make the transition from abstract to concrete architecture more effectively and describes three key semantic challenges in refining an abstract architectural view to a more concrete one: mapping typing relationships, refining connectors, and handling information overlap.

Graph Transformation Based Models of Dynamic Software Architectures and Architectural Styles

  • S. Thöne
  • Computer Science
    Language Engineering for Model-Driven Software Development
  • 2004
This work proposes a formulation of the behavioral refinement problem as a reachability problem which can be solved by classical graph transformation and model checking tools, and formalizes the architectural styles as graph transformation systems including architectural types, constraints, and graph transformation rules.

Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles

  • Guoxin SuM. YingChengqi Zhang
  • Computer Science
    2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
  • 2012
This paper proposes a process-algebraic model, in which the main architectural concepts and several fundamental architectural properties are formulated and it is demonstrated that the state space of verification of these properties can be reduced from the entire universe of possible configurations to specific configurations that are fixed according to the type-level architectural descriptions.

Architectural style-based modeling and simulation of complex software systems

The paper presents an architectural style-based approach to specifying and analyzing complex software systems based on UML-like meta models and graph transformation techniques to support sound methodological principals, formal analysis and refinement.

A runtime architecture-based approach for the dynamic evolution of distributed component-based systems

  • Yu Zhou
  • Computer Science
    ICSE Companion '08
  • 2008
This work proposes an approach based on a runtime architecture which is visually generated from an attributed type graph meta-model, exists through the lifecycle of DCS, establishes the causal relation between architectural topology and system configuration, and directs the dynamic evolution.



A graph transformation approach to software architecture reconfiguration

Formal Refinement of Software Architectures Based on Rewriting Logic

This paper presents a new and formal approach of architecture refinement facilitating software development, using transformation patterns based on rewriting logic.

Modeling and validation of service-oriented architectures: application vs. style

This work proposes UML models of both the architectural style of the platform and the application scenario, and a formal interpretation of these as graphs and graph transformation systems is able to validate the consistency between platform and application.

Towards Symbolic Analysis of Visual Modeling Languages

Specification and Refinement of Dynamic Software Architectures

LEDA is presented, an Architecture Description Language for the specification, validation, prototyping and construction of dynamic software systems, and a notion of polymorphism of behaviour is used to extend and refine components while maintaining their compatibility, allowing the parameterisation of architectures, and encouraging reuse of architectural designs.

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.

Enabling the Refinement of a Software Architecture into a Design

A semi-automated approach developed to assist in refining a high-level architecture specified in an architecture description language (ADL) into a design described with UML, and defined a set of rules to transform an architectural representation into an initial UML model that can then be further refined.

CheckVML: A Tool for Model Checking Visual Modeling Languages

A tool for model checking dynamic consistency properties in arbitrary well-formed instance models of any modeling language defined visually by metamodeling and graph transformation techniques.

A Formal Approach to Software Architectures

This dissertation demonstrates that an Architecture Description Language based on a formal, abstract model of system behavior can provide a practical means of describing and analyzing software architectures and architectural styles through WRIGHT, an architectural description language based on the formal description of the abstract behavior of architectural components and connectors.

Style-based refinement for software architecture

This paper proposes a technique for structuring a solution to this kind of problem using the idea of substyles and argues 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.