Model transformations are the core of the MDE methodology. They can be expressed using various languages. One of them is QVT, the OMG standard for transformation languages. QVT also provides a traceability mechanism. In general, a trace can be used for many purposes. In this paper, we show the limitations of the trace provided by QVT through different scenarios. Furthermore, based on the QVT la...

The design and development of any complex applications using a Model-driven Engineering approach involve not only the use of many models, but also the use of many model transformations between them. These transformations should be chained together, using Model Transformation Orchestration notations and tools. This paper introduces Wires*, a graphical executable language for the orchestration of...

This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirement...

ATL (Atlas Transformation Language) has been defined to perform general transformations within the MDA framework (Model Driven Architecture) recently proposed by the OMG. We are currently learning from the first applications developed with this language. The example used here is a transformation from XSLT to XQuery. Since these are two standard notations that don’t pertain to the MDA space, we ...

Model transformation is at the heart of modeldriven development techniques. The development of model transformations typically consists of designing rewriting rules that are applied on model instances. However, the lack of systematic development methodology and re-use hamper the quality of model transformations. This study presents existing work from the literature on quality evaluation of mode...

Although there is a lot of support for model-driven development, few approaches offer support for a complete model-driven path from requirements to code. The approach proposed in this paper offers such a path fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed, in...