Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10259
For citation please use:
Main Title: Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Author(s): Orejas, Fernando
Guerra, Esther
de Lara, Juan
Ehrig, Hartmut
Type: Research Paper
URI: https://depositonce.tu-berlin.de/handle/11303/11372
http://dx.doi.org/10.14279/depositonce-10259
License: http://rightsstatements.org/vocab/InC/1.0/
Abstract: Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach to M2M transformation. Specifications are made of patterns stating the allowed or forbidden relations between source and target models, and then compiled into low level operational mechanisms to perform source-to-target or target-to-source transformations. In this paper, we study the compilation into operational triple graph grammar rules and show: (i) correctness of the compilation of a specification without negative patterns; (ii) termination of the rules, and (iii) completeness, in the sense that every model considered relevant can be built by the rules.
Subject(s): model transformation
target model
graph transformation
graph grammar
negative pattern
Issue Date: 2009
Date Available: 15-Jun-2020
Has Version: 10.1007/978-3-642-03741-2_26
Language Code: en
DDC Class: 004 Datenverarbeitung; Informatik
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2009-09
ISSN: 1436-9915
TU Affiliation(s): Fak. 4 Elektrotechnik und Informatik
Appears in Collections:Technische Universität Berlin » Publications

Files in This Item:
tr-2009-09.pdf
Format: Adobe PDF | Size: 320.88 kB
DownloadShow Preview
Thumbnail

Item Export Bar

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