Conference
Correctness of Model Synchronization Based on Triple Graph Grammars
Abstract
Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been missing. This paper closes this gap by providing a formal synchronization framework with bidirectional update propagation operations. They are generated from a TGG, which specifies the language of all consistently integrated source and …
Authors
Hermann F; Ehrig H; Orejas F; Czarnecki K; Diskin Z; Xiong Y
Series
Lecture Notes in Computer Science
Volume
6981
Pagination
pp. 668-682
Publisher
Springer Nature
Publication Date
2011
DOI
10.1007/978-3-642-24485-8_49
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743