Analysis of Model Transformations

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.