Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10249
For citation please use:
Main Title: Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version
Author(s): Hermann, Frank
Ehrig, Hartmut
Golas, Ulrike
Orejas, Fernando
Type: Research Paper
Language Code: en
Abstract: Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour. In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relation database models.
URI: https://depositonce.tu-berlin.de/handle/11303/11362
http://dx.doi.org/10.14279/depositonce-10249
Issue Date: 2010
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): model transformation
triple graph grammars
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-13
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

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

Item Export Bar

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