Graph Transformation Semantics for a QVT Language

Rensink, Arend and Nederpel, Ronald (2008) Graph Transformation Semantics for a QVT Language. In: Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT, April 1-2, 2006, Vienna, Austria.

PDF
Restricted to UT campus only: Request a copy
316Kb

Abstract:	It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an application of graph transformation. In this paper we substantiate this claim by giving a graph transformation-based semantics to one of the original QVT language proposals; that is, we define a mechanism that will translate any model transformation definition in the QVT language to a graph production system whose effect is to apply that model transformation. The translation has been fully implemented.
Item Type:	Conference or Workshop Item
Copyright:	© 2008 Elsevier
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/62866
Official URL:	http://dx.doi.org/10.1016/j.entcs.2008.04.029
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 250831