[CEUR Workshop Proceedings] Vol-742

Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

Workshop on Model Transformation with ATL

Proceedings of the 3rd International Workshop on Model Transformation with ATL

co-located with TOOLS 2011 Federated Conferences

Zürich, Switzerland, July 1st, 2011.

Edited by

Ivan Kurtev *
Massimo Tisi **
Dennis Wagelaar ***

* Software engineering group, Faculty of Electrical Engineering, Mathematics and Informatics, University of Twente, Enschede, The Netherlands
** AtlanMod (INRIA & Ecole des Mines de Nantes), Ecole des Mines de Nantes, Nantes, France
*** Software Languages Lab, Vrije Universiteit Brussel, Brussels, Belgium

Table of Contents

  1. Two Basic Correctness Properties for ATL Transformations: Executability and Coverage 1-9
    Elena Planas, Jordi Cabot, Cristina Gómez
  2. Compiling ATL with Continuations 10-19
    Jesús Sánchez Cuadrado, Jesús Perera Aracil
  3. Using Metrics for Assessing the Quality of ATL Model Transformations 20-34
    M.F. van Amstel, M.G.J. van den Brand
  4. Using ATL to Support Model-Driven Development of RubyTL Model Transformations 35-48
    Álvaro Jiménez, David Granada, Verónica Bollati, Juan M. Vara
  5. Extending ATL for Native UML Profile Support: An Experience Report 49-62
    Andrea Randak, Salvador Martínez, Manuel Wimmer
  6. A Revised Semantics for Rule Inheritance and Module Superimposition in ATL 63-74
    Dennis Wagelaar
  7. A Static Analyzer for Model Transformations 75-88
    Andreza Vieira, Franklin Ramalho
  8. WSCDL to WSBPEL: a Case Study of ATL-based Transformation 89-103
    Ravi Khadka, Brahmananda Sapkota, Luís Ferreira Pires, Marten van Sinderen, Slinger Jansen

27-Jun-2011: submitted by Massimo Tisi
27-Jun-2011: published on CEUR-WS.org