Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10195
For citation please use:
Main Title: Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Author(s): Gottmann, Susann
Hermann, Frank
Nachtigall, Nico
Braatz, Benjamin
Ermel, Claudia
Ehrig, Hartmut
Engel, Thomas
Type: Research Paper
Language Code: en
Abstract: Triple graph grammars (TGGs) have been successfully applied to specify and analyse bidirectional model transformations. Recently, a formal approach to concurrent model synchronisation has been presented, where a source and a target modification have to be synchronised simultaneously. In this approach, conflicts between the given and propagated source or target model modifications are taken into account. A semi-automatic conflict resolution strategy is proposed, where a formal resolution strategy can be combined with a user-specific strategy. Up to now, our approach requires deterministic propagation operations. In this paper, we want to relax this condition and also consider non-deterministic (conflicting) operations which might require backtracking. For optimisation, we propose to eliminate conflicts between the operational rules of a TGG using the concept of filter NACs. Nevertheless, concurrent synchronisation is non-deterministic from a user perspective: The user may choose between forward synchronisation and backward synchronisation. Moreover, the conflict resolution strategy may result in several solutions from which the user has to select the most adequate one. Hence, we discuss different kinds of customisation of the synchronisation process and explain the impacts of the different strategies.
URI: https://depositonce.tu-berlin.de/handle/11303/11310
http://dx.doi.org/10.14279/depositonce-10195
Issue Date: 2013
Date Available: 11-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): optimisation
forward synchronisation
backwardsynchronisation
customisation
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2013-08
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr_2013-08.pdf
Format: Adobe PDF | Size: 16.94 MB
DownloadShow Preview
Thumbnail

Item Export Bar

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