| 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