Please use this identifier to cite or link to this item:
For citation please use:
Main Title: Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version
Author(s): Schölzel, Hanna
Ehrig, Hartmut
Hermann, Frank
Brandt, Christoph
Type: Research Paper
Abstract: Model transformations based on triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model transformations. Moreover, fundamental properties have been extensively studied including syntactical correctness, completeness, termination and functional behaviour. But up to now, it is an open problem how domain specific properties that are valid for a source model can be preserved along model transformations such that the transformed properties are valid for the derived target model. In this paper, we analyse in the framework of TGGs how to propagate constraints from a source model to an integrated and target model such that, whenever the source model satisfies the source constraint also the integrated and target model satisfy the corresponding integrated and target constraint. In our main new results we show under which conditions this is possible. The case study shows how this result is successfully applied for the propagation of security constraints in enterprise modelling between business and IT models.
Subject(s): triple graph grammars
model transformations
Issue Date: 2010
Date Available: 15-Jun-2020
Has Version: 10.14279/tuj.eceasst.41.581
Language Code: en
DDC Class: 004 Datenverarbeitung; Informatik
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2010-15
ISSN: 1436-9915
TU Affiliation(s): Fak. 4 Elektrotechnik und Informatik
Appears in Collections:Technische Universität Berlin » Publications

Files in This Item:
Format: Adobe PDF | Size: 974.99 kB
DownloadShow Preview

Item Export Bar

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