Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10244
For citation please use:
Main Title: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
Author(s): Hermann, Frank
Ehrig, Hartmut
Orejas, Fernando
Golas, Ulrike
Type: Research Paper
Has Version: 10.1007/978-3-642-15928-2_11
Language Code: en
Abstract: Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already crucial properties of model transformations like termination, correctness and completeness, but functional behaviour - especially local confluence - is missing up to now. In order to close this gap we generate forward translation rules, which extend standard forward rules by translation attributes keeping track of the elements which have been translated already. In the first main result we show the equivalence of model transformations based on forward resp. forward translation rules. This way, an additional control structure for the forward transformation is not needed. This allows to apply critical pair analysis and corresponding tool support by the tool AGG. However, we do not need general local confluence, because confluence for source graphs not belonging to the source language is not relevant for the functional behaviour of a model transformation. For this reason we only have to analyze a weaker property, called translation confluence. This leads to our second main result, the functional behaviour of model transformations, which is applied to our running example, the model transformation from class diagrams to database models.
URI: https://depositonce.tu-berlin.de/handle/11303/11357
http://dx.doi.org/10.14279/depositonce-10244
Issue Date: 2010
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): model transformation
triple graph grammars
confluence
functional behaviour
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2010-08
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr_2010-08.pdf
Format: Adobe PDF | Size: 976.55 kB
DownloadShow Preview
Thumbnail

Item Export Bar

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