Abstract
In this chapter transformation systems are introduced as formal models of parts of software systems. The concrete understanding of the term part thereby depends on the desired granularity of the model, i.e., its degree of abstractness. Whether some portion of a system is considered as a part in this sense is not an objective property of the software system, but a design decision in the modelling process. A transformation system might be a model of an object, or a process as a part of the behaviour of an object, or a component in the sense of component-based software engineering (see e.g. [SP96, Gri98, Szy98, CD00)), or a whole software system. In the last case the transformation system will probably be constructed from smaller parts by appropriate composition operations, as discussed in Chapter 5.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Große-Rhode, M. (2004). Transformation Systems. In: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-09853-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-662-09853-0_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07306-9
Online ISBN: 978-3-662-09853-0
eBook Packages: Springer Book Archive