Program

June 25th, Monday

ICMT Keynote (Session #1: 9.00 - 10.30)

  • The design and evolution of KernelF. Markus Voelter.

Model transformation reuse (Session #2: 11.00 - 12.30)

Session chair: Massimo Tisi

  • Model Transformation Reuse across Metamodels: A classification and comparison of approaches. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani and Hans Vangheluwe
  • Systematic recovery of MDE technology reuse. Alfonso Pierantonio, Juri Di Rocco, Ludovico Iovino, Ralf Lämmel, Joahnnes Haertel and Davide Di Ruscio
  • Technical debt in Model Transformation specifications. Kevin Lano, Shekoufeh Kolahdouz Rahimi and Mohammadreza Sharbaf

Transformation Verification & Conditions (ICMT / ICGT joint session: 14.00 - 15.30)

Session chair: Andreas Schürr

  • CoqTL: an Internal DSL for Model Transformation in Coq. Massimo Tisi and Zheng Cheng
  • Verifying Graph Transformation Systems with Description Logics. Jon Hael Brenas, Rachid Echahed and Martin Strecker.
  • OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules (Tool Presentation Paper). Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer.

Model transformation tools (Session #4: 16.00 - 17.00)

Session chair: Eugene Syriani

  • NMF: A multi-platform Modeling Framework. Georg Hinkel
  • Scalable Model Transformations and Queries with the Mogwaï Tool. Gwendal Daniel, Gerson Sunyé and Jordi Cabot

June 26th, Tuesday

ICGT Keynote (Session #1: 9.00 - 10.30)

  • Introduction to Graph-Oriented Programming, Olivier Rey.

MDE in Education (Session #2: 11.00 - 12.30)

  • This interactive session is centered around current practices in teaching MDE at universities across Europe. The session starts with an overview of responses to a questionnaire distributed earlier this year, followed by an open discussion. The session is led by Alfonso Pierantonio and Rick Salay.

ECMFA Keynote (Session #3: 14.00 - 15.30)

  • Is bidirectionality important? Perdita Stevens

Graph transformations and verification (Session #4: 16.00 - 17.30)

Session chair: Ed Willink

  • Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques. Stefan Tomaszek, Erhan Leblebici, Lin Wang and Andy Schürr
  • Schema Transformations and Query Rewriting in Ontological Databases with a Faceted Interface. Tadeusz Pankowski
  • A Formal Framework for Prototyping Executable Semantics for ATL. Artur Boronat