Analysis, Correctness, and Construction of Model Transformations

TL;DRAbstract

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.

Chat with Paper

AI Agents for this Paper