Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10229
For citation please use:
Main Title: Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Author(s): Hermann, Frank
Ehrig, Hartmut
Orejas, Fernando
Czarnecki, Krzysztof
Diskin, Zinovy
Xiong, Yingfei
Type: Research Paper
Has Version: 10.1007/978-3-642-24485-8_49
Language Code: en
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 target models. As a main result, we show that the generated synchronization framework is correct and complete, provided that forward and backward propagation operations are deterministic. Correctness essentially means that the propagation operations preserve consistency. Moreover, we analyze the conditions under which the operations are inverse to each other. All constructions and results are motivated and explained by a small running example using concrete visual syntax and abstract syntax notation based on typed attributed graphs.
URI: https://depositonce.tu-berlin.de/handle/11303/11342
http://dx.doi.org/10.14279/depositonce-10229
Issue Date: 2011
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): model synchronization
correctness
bidirectional model transformation
triple graph grammars
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2011-07
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr_2011-07.pdf
Format: Adobe PDF | Size: 2.79 MB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.