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


Full Text
Publisher postprint (391.92 kB)

All documents in ORBilu are protected by a user license.

Send to


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 :
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 :
Title :
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions
Publication date :
Journal title :
Electronic Communications of the EASST
Publisher :
EASST (European Association of Software Science and Technology)
Volume :
Pages :
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 17 July 2013


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

Scopus citations®
Scopus citations®
without self-citations


Similar publications

Contact ORBilu