Abstract
Model transformations based on TGGs as presented in Chap. 7 provide an excellent framework for analysing and verifying a major part of the properties that may have to be ensured in an application scenario with regard to the first dimension of challenges for model transformations—the functional dimension—presented in Sect. 3.1. The first two sections of this chapter (Sects. 8.1 and 8.2) present powerful analysis techniques that are based on the introduced model transformation concepts.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Ermel, C., Golas, U., Hermann, F. (2015). Analysis of Model Transformations. In: Graph and Model Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47980-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-47980-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47979-7
Online ISBN: 978-3-662-47980-3
eBook Packages: Computer ScienceComputer Science (R0)