External report (Reports)
From state- to delta-based bidirectional model transformations: the symmetric case
Diskin, Zinovy; Xiong, Yingfei; Czarnecki, Krzysztof et al.


Full Text
zMODELS11 - TR.pdf
Publisher postprint (669.62 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Keywords :
model transformation; model integration; syntactical correctness
Abstract :
[en] Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and finally to implementation code. This paper presents model transformation and model integration as specific problem within bidirectional model transformation, which has shown to support various purposes, such as analysis, optimization, and code generation. The main purpose of model integration is to establish correspondence between various models, especially between source and target models. From the analysis point of view, model integration supports correctness checks of syntactical dependencies between different views and models. The overall concept is based on the algebraic approach to triple graph grammars, which are widely used for model transformation. The main result shows the close relationship between model transformation and model integration. For each model transformation sequence there is a unique model integration sequence and vice versa. This is demonstrated by a quasi-standard example for model transformation between class models and relational data base models.
Disciplines :
Computer science
Author, co-author :
Diskin, Zinovy
Xiong, Yingfei
Czarnecki, Krzysztof
Ehrig, Hartmut
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Orejas, Fernando
Language :
Title :
From state- to delta-based bidirectional model transformations: the symmetric case
Publication date :
Publisher :
GSD Lab, University of Waterloo
Report number :
GSDLAB-TR 2011-05-03
Available on ORBilu :
since 05 September 2013


Number of views
103 (1 by Unilu)
Number of downloads
0 (0 by Unilu)


Similar publications

Contact ORBilu