10^th Libre Software Meeting

Orchestrating ATL Model Transformations by Jose E. Rivera, Daniel Ruiz-González, Fernando López-Romero and Antonio Vallecillo

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 ATL transformations, which provides appropriate mechanisms to enable the modular and compositional specification and execution of complex model transformations chains.

Typing ATL Models in Global Model Management by Andrés Vignaga and María Cecilia Bastarrica

A typing approach for models, and in particular for model transformations, is required for preventing type errors during execution in a Global Model Management (GMM) environment. Based on our previous proposal, in this work we specifically address the typing of ATL models, which are ATL modules and ATL libraries. We discuss function types for ATL modules, and how they are affected by a specific property exhibited by ATL higher-order transformations. We also propose a new type for ATL libraries and discuss additional checks enabled by it. We organize these types in a hierarchy of types for GMM.