Analysis, Correctness, and Construction of Model Transformations
Ulrike Golas · Vieweg+Teubner eBooks · 2011
Model transformations from a source to a target language can be described by triple graph transformations as shown in Chapter 5. Important properties for the analysis and correctness of such model transformations are syntactical correctness, completeness, and functional behavior. Moreover, the semantics of the source and target models may be given by interaction schemes using amalgamation as done in Chapter 4. In this case, we are interested in analyzing the semantical correctness, i. e. the correctness of the model transformation with respect to the semantical behavior of the corresponding source and target models.