Basic Ideas for Transformations of Specification Architectures

Abstract

This contribution gives the formal foundation for specification architectures. Specification architectures are given by diagrams in an arbitrary category of specifications. Hence this is in line with the extension form graph transformations to high-level replacement systems. We then transform diagrams in order to describe model evolution. We distinguish between global transformations, synchronization, and local transformations. The main result of this paper is that the composition of all sub-specifications, i.e. the semantics of the specification architectures is compatible with the transformation. Hence it guarantees that the result of an architecture transformation is the same as the corresponding transformation of the composed sub-specifications.