Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version

Simple item page
dc.contributor.authorHermann, Frank
dc.contributor.authorEhrig, Hartmut
dc.contributor.authorOrejas, Fernando
dc.contributor.authorCzarnecki, Krzysztof
dc.contributor.authorDiskin, Zinovy
dc.contributor.authorXiong, Yingfei
dc.date.accessioned2020-06-15T06:31:00Z
dc.date.available2020-06-15T06:31:00Z
dc.date.issued2011
dc.description.abstractTriple 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.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11342
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10229
dc.language.isoen
dc.relation.hasversion10.1007/978-3-642-24485-8_49
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.othermodel synchronizationen
dc.subject.othercorrectnessen
dc.subject.otherbidirectional model transformationen
dc.subject.othertriple graph grammarsen
dc.titleCorrectness of Model Synchronization Based on Triple Graph Grammars - Extended Versionen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2011-07
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
tr_2011-07.pdf
Size:
2.73 MB
Format:
Adobe Portable Document Format
Download

Collections

Publications