[CEUR Workshop Proceedings] Vol-742
urn:nbn:de:0074-742-4

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.





MtATL-2011
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