Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10236
For citation please use:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHermann, Frank-
dc.contributor.authorEhrig, Hartmut-
dc.contributor.authorErmel, Claudia-
dc.contributor.authorOrejas, Fernando-
dc.date.accessioned2020-06-15T06:31:32Z-
dc.date.available2020-06-15T06:31:32Z-
dc.date.issued2011-
dc.identifier.issn1436-9915-
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11349-
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10236-
dc.description.abstractTriple graph grammars (TGGs) have been used successfully to analyse correctness of bidirectional model transformations. Most recently, also a corresponding formal approach to model synchronization has been presented, where a forward propagation operation updates a source model modification from source to target, and symmetrically, a backward propagation operation takes care of updates from target to source models. However, a corresponding formal approach of concurrent model synchronization, where a source and a target modification have to be synchronized simultaneously, has not yet been presented and analysed. This paper closes this gap taking into account that the given and propagated source or target model modifications are in conflict with each other. Our conflict resolution strategy is semi-automatic, where a formal resolution strategy – known from previous work – can be combined with a user-specific strategy. As first main result, we show correctness of concurrent model synchronization with respect to the TGG. This means that each result of our nondeterministic concurrent update leads to a consistent correspondence between source and target models, where consistency is defined by the TGG. As second main result, we show compatibility of concurrent with basic model synchronization. In other words, concurrent model synchronization can be realized either to coincide with forward or with backward propagation. The main results are illustrated by a running example on updating organizational models.en
dc.language.isoen-
dc.relation.hasversion10.1007/978-3-642-28872-2_13-
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/-
dc.subject.ddc004 Datenverarbeitung; Informatik-
dc.subject.othermodel synchronizationen
dc.subject.otherconflict resolutionen
dc.subject.othermodel versioningen
dc.subject.othercorrectnessen
dc.subject.otherbidirectional model transformationen
dc.subject.othertriple graph grammarsen
dc.titleConcurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Versionen
dc.typeResearch Paper-
tub.accessrights.dnbfree-
tub.publisher.universityorinstitutionTechnische Universität Berlin-
tub.series.issuenumber2011-14-
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin-
dc.type.versionsubmittedVersionen
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

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

Item Export Bar

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