Please use this identifier to cite or link to this item:
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
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.
Subject(s): model synchronization
bidirectional model transformation
triple graph grammars
Issue Date: 2011
Date Available: 15-Jun-2020
Has Version: 10.1007/978-3-642-24485-8_49
Language Code: en
DDC Class: 004 Datenverarbeitung; Informatik
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2011-07
ISSN: 1436-9915
TU Affiliation(s): Fak. 4 Elektrotechnik und Informatik
Appears in Collections:Technische Universität Berlin » Publications

Files in This Item:
Format: Adobe PDF | Size: 2.79 MB
DownloadShow Preview

Item Export Bar

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