AMT 2013
Analysis of Model Transformations

Table of Contents

• Preface
  Benoit Baudry, Juergen Dingel, Levi Lucio, Hans Vangheluwe

Keynote

• Transforming the Automotive Industry
  Robert Baillargeon , Sodius Corp.

Session 1: Testing 1

• A Traceability-Driven Approach to Model Transformation Testing
  Nicholas Matragkas, Dimitrios Kolovos, Richard Paige, Athanasios Zolotas

Session 2: Testing 2

• Using Meta-model Coverage to Qualify Test Oracles
  Olivier Finot, Jean-Marie Mottu, Gerson Sunye, Thomas Degueule
• A Method for Testing Model to Text Transformations
  Alessandro Tiso, Gianna Reggio, Maurizio Leotta
• Rule Chains Coverage for Testing QVT-Relations Transformations
  Daniel Calegari, Andrea Delgado

Session 3: Reuse, Evolution, Optimization

• Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study
  Angelika Kusel, Johannes Schoenboeck, Manuel Wimmer, Werner Retschitzegger, Wieland Schwinger, Gerti Kappel
• Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development
  Joseba Andoni Agirre, Leire Etxeberria, Goiuria Sagardui
• Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars
  Susann Gottmann, Frank Hermann, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel

Session 4: Non-Functional Requirements

• Towards a Catalog of Non-Functional Requirements in Model Transformation Languages
  Soroosh Nalchigar, Rick Salay, Marsha Chechik
• Detecting Performance Bad Smells for Henshin Model Transformations
  Matthias Tichy, Christian Krause, Grischa Liebel