2. ICMT 2009: Zurich, Switzerland

Richard F. Paige (Ed.): Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Lecture Notes in Computer Science 5563 Springer 2009, ISBN 978-3-642-02407-8

Invited Paper

Benjamin C. Pierce:
Foundations for Bidirectional Programming. 1-3

Full Papers

Sven Apel, Florian Janda, Salvador Trujillo, Christian Kästner:
Model Superimposition in Software Product Lines. 4-19
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró:
Efficient Model Transformations by Combining Pattern Matching Strategies. 20-34
Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio:
Managing Dependent Changes in Coupled Evolution. 35-51
Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández:
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages. 52-66
Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen:
A Collection Operator for Graph Transformation. 67-82
Esther Guerra, Juan de Lara, Fernando Orejas:
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. 83-99
Thomas Hettel, Michael Lawley, Kerry Raymond:
Towards Model Round-Trip Engineering: An Abductive Approach. 100-115
Guillaume Hillairet, Frédéric Bertrand, Jean-Yves Lafaye:
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa. 116-131
Andreas Petter, Alexander Behring, Max Mühlhäuser:
Solving Constraints in Model Transformations. 132-147
Sagar Sen, Benoit Baudry, Jean-Marie Mottu:
Automatic Model Generation Strategies for Model Transformation Testing. 148-164
Perdita Stevens:
A Simple Game-Theoretic Approach to Checkonly QVT Relations. 165-180
Juan M. Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos:
Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study. 181-196
Andrés Vignaga, Frédéric Jouault, M. Cecilia Bastarrica, Hugo Bruneliere:
Typing in Model Management. 197-212
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Supporting Parallel Updates with Bidirectional Model Transformations. 213-228

Short Papers

Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin:
Experiments with a High-Level Navigation Language. 229-238
Marcel F. van Amstel, Christian F. J. Lange, Mark van den Brand:
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations. 239-248
Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault:
Achieving Rule Interoperability Using Chains of Model Transformations. 249-259

Panel on Bidirectional Transformations

Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger:
Bidirectional Transformations: A Cross-Discipline Perspective. 260-283