Program

Monday 20 July

9:00 – 10:30

STAF Keynote

10:30 – 11:00

Coffee break

11:00 – 12:30

Session 1: Change Management
Chair: Richard Paige

  • Georg Hinkel. Change Propagation in an Internal Model Transformation Language

  • Riemer van Rozen and Tijs van der Storm. Origin Tracking + Text Differencing = Textual Model Differencing

  • Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Kaefer and Tim Sanwald. CoWolf – A Generic Framework for Multi-View Co-Evolution and Evaluation of Models

12:30 – 14:00

Lunch

14:00 – 15:30

ICMT Keynote
Frédéric Jouault: Past, Present and Future of Model Transformation

15:30 – 16:00

Coffee break

16:00 – 18:00

Session 2: Reuse and Industrial Applications
Chair: Dániel Varró

  • Javier Criado, Salvador Martínez, Luis Iribarne and Jordi Cabot. Enabling the reuse of stored model transformations through annotations

  • Jesús Sánchez Cuadrado, Esther Guerra and Juan De Lara. Reusable model transformation components with Bento

  • Arjan Mooij, Gernot Eggen, Jozef Hooman and Hans Van Wezep. Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models

  • Michalis Famelis, Levi Lucio, Gehan Selim, Rick Salay, Marsha Chechik, James R. Cordy, Juergen Dingel, Hans Vangheluwe and Ramesh S. Migrating Automotive Product Lines: A Case Study

Tuesday 21 July

09:00 – 10:30

ICGT Keynote

10:30 – 11:00

Coffee break

11:00-12:30

Session 3: New Paradigms for Model Transformation
Chair: Andy Schürr

  • Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, Istvan Rath, Zoltán Ujhelyi and Daniel Varro. VIATRA3: a Reactive Event-driven Model Transformation Platform

  • Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickaël Clavreul and Guillaume Savaton. Towards Functional Model Transformations with OCL

  • Vlad Acretoaie, Harald Störrle and Daniel Strüber. Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool

12:30 – 14:00

Lunch

14:00-15:30

Session 4: Transformation Validation and Verification
Chair: Gerti Kappel

  • Zheng Cheng, Rosemary Monahan and James Power. A Sound Execution Semantics for ATL via Translation Validation

  • Frank Hilken, Philipp Niemann, Martin Gogolla and Robert Wille. From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification

  • Loïc Gammaitoni and Pierre Kelsen. F-Alloy: an Alloy Based Model Transformation Language

15:30 – 16:00

Coffee break

16:00-18:00

Session 5: Foundations of Model Transformation
(Joint Session with ICGT)

Chair: Gabriele Taentzer

  • Elie Richa, Etienne Borde and Laurent Pautet. Translating ATL Model Transformations to Algebraic Graph Transformations

  • Roland Kluge, Gergely Varró and Andy Schürr. A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation

  • Frank Trollman and Sahin Albayrak. Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models

List of accepted papers

  • Javier Criado, Salvador Martínez, Luis Iribarne and Jordi Cabot. Enabling the reuse of stored model transformations through annotations
  • Frank Hilken, Philipp Niemann, Martin Gogolla and Robert Wille. From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification
  • Arjan Mooij, Gernot Eggen, Jozef Hooman and Hans Van Wezep. Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models
  • Loïc Gammaitoni and Pierre Kelsen. F-Alloy: an Alloy Based Model Transformation Language
  • Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, Istvan Rath, Zoltán Ujhelyi and Daniel Varro. VIATRA3: a Reactive Event-driven Model Transformation Platform
  • Vlad Acretoaie, Harald Störrle and Daniel Strüber. Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool
  • Georg Hinkel. Change Propagation in an Internal Model Transformation Language
  • Elie Richa, Etienne Borde and Laurent Pautet. Translating ATL Model Transformations to Algebraic Graph Transformations
  • Riemer van Rozen and Tijs van der Storm. Origin Tracking + Text Differencing = Textual Model Differencing
  • Roland Kluge, Gergely Varró and Andy Schürr. A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
  • Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickaël Clavreul and Guillaume Savaton. Towards Functional Model Transformations with OCL
  • Jesús Sánchez Cuadrado, Esther Guerra and Juan De Lara. Reusable model transformation components with Bento
  • Michalis Famelis, Levi Lucio, Gehan Selim, Rick Salay, Marsha Chechik, James R. Cordy, Juergen Dingel, Hans Vangheluwe and Ramesh S. Migrating Automotive Product Lines: A Case Study
  • Zheng Cheng, Rosemary Monahan and James Power. A Sound Execution Semantics for ATL via Translation Validation
  • Frank Trollman and Sahin Albayrak. Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models
  • Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Kaefer and Tim Sanwald. CoWolf – A Generic Framework for Multi-View Co-Evolution and Evaluation of Models