EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


1933 Graph Transformation Semantics for a QVT Language
Home Policy Brochure Browse Search User Area Contact Help

Rensink, A. and Nederpel, R. (2008) Graph Transformation Semantics for a QVT Language. In: International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Apr 2006, Vienna, Austria. pp. 51-62. Electronic Notes in Theoretical Computer Science 211. Elsevier. ISSN 1571-0661

Full text available as:

PDF
- Univ. of Twente only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
317 Kb

Official URL: http://dx.doi.org/10.1016/j.entcs.2008.04.029

Exported to Metis

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 Paper (Full Paper, Talk)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:GRASLAND: Graphs for Software Language Definitions
ID Code:1933
Status:Published
Deposited On:15 May 2008
Refereed:Yes
International:Yes
More Information:statisticsmetis

Export this item as:

To request a copy of the PDF please email us request copy

To correct this item please ask your editor

Repository Staff Only: edit this item