Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification

In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as early as possible. Therefore, appropriate architectural transformations have to be applied in the design phase in case the non-functional properties do not fulfill their requirements. As the selection and application of appropriate architectural transformations is a time consuming task and demands for personal effort, there is the idea to automate the architecture evolution process. In this paper, we outline our hypergraph-based approach towards automating the architecture evolution process and propose an algorithm that proves the behavioral equivalence of the architecture before and after a transformation.

• Type: Conference
• Year: 2003
• Where: SNPD
• Authors: Lars Grunske
• Keywords: Appropriate Architectural Transformations, Architecture Evolution Process, Non-functional Properties, SNPD 2003, SNPD 2007