Article (Scientific journals)
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions
Golas, Ulrike; Ehrig, Hartmut; Hermann, Frank
2011In Electronic Communications of the EASST, 39, p. 1-27
Peer Reviewed verified by ORBi
 

Files


Full Text
646-1979-1-PB(1).pdf
Publisher postprint (391.92 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
model transformation; triple graph grammar; application condition
Abstract :
[en] Triple graph grammars are a successful approach to describe exogenous model transformations, i.e. transformations between models conforming to different meta-models. Source and target models are related by some connection part, triple rules describe the simultaneous construction of these parts, and forward and backward rules can be derived modeling the forward and backward model transformations. As shown already for the specification of visual models by typed attributed graph transformation, the expressiveness of the approach can be enhanced significantly by using application conditions, which are known to be equivalent to first order logic on graphs. In this paper, we extend triple rules with a specific form of application conditions, which enhance the expressiveness of formal specifications for model transformations. We show how to extend results concerning information preservation, termination, correctness, and completeness of model transformations to the case with application conditions. We illustrate our approach and results with a model transformation from statecharts to Petri nets.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2011-776
Author, co-author :
Golas, Ulrike;  Konrad-Zuse-Zentrum f¨ur Informationstechnik Berlin, Germany
Ehrig, Hartmut;  Technische Universität Berlin, Germany
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
English
Title :
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions
Publication date :
2011
Journal title :
Electronic Communications of the EASST
ISSN :
1863-2122
Publisher :
EASST (European Association of Software Science and Technology)
Volume :
39
Pages :
1-27
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 17 July 2013

Statistics


Number of views
66 (1 by Unilu)
Number of downloads
219 (3 by Unilu)

Scopus citations®
 
18
Scopus citations®
without self-citations
11

Bibliography


Similar publications



Contact ORBilu