@MISC{Kerschbaumer02non-refinementtransformations, author = {Andreas Kerschbaumer}, title = {Non-refinement Transformations of Software Architectures}, year = {2002} }
Bookmark
OpenURL
Abstract
This paper deals with the refinement of software architectures. Using an example transformation of an architectural pattern from a call-return style to a batch-sequential one, it is shown that sometimes an advancement of a software architecture is not a correct refinement relation in the formal sense. However formal analysis may and should be used to argument about the changed and unchanged properties. The patterns are modeled and analyzed using the specification language LOTOS, the temporal logic ACTL and the CADP toolbox.