Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

15696 Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Compiler
Home Policy Brochure Browse Search User Area Contact Help

Laarman, A.W. (2009) Achieving QVTO & ATL Interoperability: An Experience Report on the Realization of a QVTO to ATL Compiler. In: 1st International Workshop on Model Transformation with ATL, MtATL 2009, 8-9 Jul 2009, Nantes, France. pp. 119-133. CEUR Workshop Proceedings. Sun SITE Central Europe. ISSN 1613-0073

Full text available as:


333 Kb
Open Access

Official URL:

Exported to Metis


With the emergence of a number of model transformation languages the need for interoperability among them increases. The degree at which this interoperability can be achieved between two given languages depends heavily on their paradigms (declarative vs imperative).
Previous studies have indicated that the QVT and ATL languages are compatible. In this paper we study the possibility to compile QVT Operational to the ATL virtual machine. We describe our experience of developing such a compiler. The resulting compiled QVT transformations can run on top of existing ATL tools. Thereby we achieve not only QVT/ATL interoperability but also QVT conformance for the ATL tools as defined in the QVT specification.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-ASSIST: Applied Science of Services for Information Society Technologies
Research Project:QuadREAD: Quality-Driven Requirements Engineering and Architectural Design
Uncontrolled Keywords:Model Driven Engineering, Model Driven Architecture, Model transformations, QVTO, ATL, Interoperability
ID Code:15696
Deposited On:11 October 2009
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item