|
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
Zürich, Switzerland, July 1st, 2011.
Edited by
* 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
-
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage
1-9
Elena Planas, Jordi Cabot, Cristina Gómez
-
Compiling ATL with Continuations
10-19
Jesús Sánchez Cuadrado, Jesús Perera Aracil
-
Using Metrics for Assessing the Quality of ATL Model Transformations
20-34
M.F. van Amstel, M.G.J. van den Brand
-
Using ATL to Support Model-Driven Development of RubyTL Model Transformations
35-48
Álvaro Jiménez, David Granada, Verónica Bollati, Juan M. Vara
-
Extending ATL for Native UML Profile Support: An Experience Report
49-62
Andrea Randak, Salvador Martínez, Manuel Wimmer
-
A Revised Semantics for Rule Inheritance and Module Superimposition in ATL
63-74
Dennis Wagelaar
-
A Static Analyzer for Model Transformations
75-88
Andreza Vieira, Franklin Ramalho
-
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