White-Box Coverage Criteria for Model Transformations by Jacqueline McQuillan and James Power

Model transformations are core to MDE, and one of the key aspects for all model transformations is that they are validated. In this paper we develop an approach to testing model transformations based on white-box coverage measures of the transformations. To demonstrate the use of this approach, we apply it to some examples from the ATL metamodel zoo.

Advanced Traceability for ATL by Andres Yie and Dennis Wagelaar

Tracing information is an essential part of the ATLAS Transformation Language (ATL). It is used to support interaction between transformation rules, where each rule can use the output of other rules by means of the implicit tracing mechanism. However, tracing information is often useful outside the scope of the transformation execution as well. Currently, ATL offers limited access to the implicit tracing information via the resolveTemp() method. In addition, the tracing information is always discarded after the transformation execution. We propose a method that allows richer runtime access to the tracing information, as well a method for efficiently storing the tracing information in a separate model.

Model transformations are the key to automate any software development proposal based on model-driven engineering. However, it might happen that a unique transformation does not suit for every possible scenario. This could be the case when the gap between source and target metamodels is too large or the target metamodel is too complex. In such situations, it may happen that the transformation never generates some constructions, unless its execution is driven to do so. In other words, to obtain the most accurate models we need to introduce some design decisions that guide the transformation. A way to do so is to model our design decisions as annotations over the source model - in a model-driven engineering context, everything should be a model. Then, we can use such annotation model as an additional input for the model transformation. This work shows how we have applied that technique to improve our proposal for model-driven development of XML Schemas. The solution is based on the use of weaving models as annotation models.