Basic Ideas for Transformations of Specification Architectures1 1This work has been achieved during maternity leave and has been strongly supported by my family.
Julia Padberg · Electronic Notes in Theoretical Computer Science · 2003
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.