Translation of QVT Relations into QVT Operational Mappings

Authors:
Raphael Romeikat;Stephan Roser;Pascal Müllender;Bernhard Bauer
Affiliations:
Programming Distributed Systems Lab, University of Augsburg, Germany;Programming Distributed Systems Lab, University of Augsburg, Germany;Programming Distributed Systems Lab, University of Augsburg, Germany;Programming Distributed Systems Lab, University of Augsburg, Germany
Venue:
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Year:
2008

Citing 8
Cited 5

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Benchmarking for Graph Transformation

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
On the architectural alignment of ATL and QVT

Proceedings of the 2006 ACM symposium on Applied computing
Compiling model transformations to EJB3-specific transformer plugins

Proceedings of the 2006 ACM symposium on Applied computing
Model-driven development: the good, the bad, and the ugly

IBM Systems Journal - Model-driven software development
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
On the interoperability of model-to-model transformation languages

Science of Computer Programming
Model transformations? transformation models!

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

A Simple Game-Theoretic Approach to Checkonly QVT Relations

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Formal verification of QVT transformations for code generation

Proceedings of the 14th international conference on Model driven engineering languages and systems
An Algebraic Semantics for QVT-Relations Check-only Transformations

Fundamenta Informaticae
A simple game-theoretic approach to checkonly QVT Relations

Software and Systems Modeling (SoSyM)
Enforcing QVT-R with mu-calculus and games

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model transformations play a key role in Model-Driven Engineering solutions. To efficiently develop, specify, and manage model transformations, it is often necessary to use a combination of languages that stand for different transformation approaches. To provide a basis for such hybrid model transformation specification solutions, we developed and implemented a translation of the declarative QVT Relations into the imperative QVT Operational Mappings language.