Sciweavers

SNPD
2003

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

14 years 7 days ago
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.
Lars Grunske
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2003
Where SNPD
Authors Lars Grunske
Comments (0)