Zusammenfassung
In this chapter, we introduce amalgamated transformations, which are useful for the definition of the semantics of models using transformations. An amalgamated rule is based on a kernel rule, which defines a fixed part of the match, and multi rules, which extend this fixed match. From a kernel and a multi rule, a complement rule can be constructed which characterizes the effect of the multi rule exceeding the kernel rule. An interaction scheme is defined by a kernel rule and available multi rules, leading to a bundle of multi rules that specifies in addition how often each multi rule is applied. Amalgamated rules are in general standard rules in M -adhesive transformation systems, thus all the results follow. In addition, we are able to refine parallel independence of amalgamated rules based on the induced multi rules. If we extend an interaction scheme as large as possible we can describe the transformation for an unknown number of matches, which otherwise would have to be defined by an infinite number of rules. This leads to maximal matchings, which are useful to define the semantics of models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2011 Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH
About this chapter
Cite this chapter
Golas, U. (2011). Amalgamated Transformations. In: Analysis and Correctness of Algebraic Graph and Model Transformations. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9934-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9934-7_4
Publisher Name: Vieweg+Teubner
Print ISBN: 978-3-8348-1493-7
Online ISBN: 978-3-8348-9934-7
eBook Packages: Computer ScienceComputer Science (R0)