Tuesday, July 16th
9:00−9:15 Opening
9:15−10:15 Keynote ICMT
Chairs: Regina Hebig and Anthony Anjorin
« DSLs, the good the bad and the ugly » by Paul Klint
10:15−10:45 Coffee break
10:45−12:15 Use cases / Applications
Chair: Alfonso Pierantonio
|
SimSG: Rule-based Simulation using Stochastic Graph Transformation |
Sebastian Ehmes, Lars Fritsche and Andy Schürr |
ICMT |
|
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report |
Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere and Davide Di Ruscio |
ECMFA / A |
|
Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems |
Nils Kaminski, Evgeny Kusmenko and Bernhard Rumpe |
ECMFA / F |
10:45−12:15 Optimisation Techniques
Chair: Malte Lochau
|
Towards Optimisation of Model Queries: A Parallel Execution Approach |
Sina Madani, Dimitris Kolovos and Richard Paige |
ECMFA / F |
|
Efficient ATL Incremental Transformations |
Théo Le Calvar, Frédéric Jouault, Fabien Chhel and Mickael Clavreul |
ICMT |
|
Boosting Design and Analysis of High-performance Cyber Physical Systems |
Alessio Bucaioni |
JRC |
12:15−13:00 Lunch
13:10−16:00 Excursion
Wednesday, July 17th
9:00−9:20 Awards
9:20−10:20 Keynote ECMFA 1
Chair: Benoit Combemale
« Fatal Abstraction » by Friedrich Steimann
10:20−11:00 Coffee break
11:00−12:30 Foundations
Chair: Massimo Tisi
|
Executing Multilevel Domain-Specific Models in Maude |
Alejandro Rodríguez, Francisco Durán, Adrian Rutle and Lars Michael Kristensen |
ECMFA / F |
|
Towards Conversational Syntax for Domain-Specific Languages using Chatbots |
Sara Perez-Soler, Mario Gonzalez-Jimenez, Esther Guerra and Juan De Lara. |
ECMFA / F |
|
On Softening OCL Invariants |
Martin Gogolla and Antonio Vallecillo |
ECMFA / F |
12:30−14:00 Lunch
14:00−15:30 Model Comparison and Matching
Chair: Ed Willink
|
Towards Efficient Comparison of Change-Based Models |
Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack and Dimitris Kolovos |
ECMFA / F |
|
From Imprecise N-Way Model Matching to Precise N-Way Model Merging |
Dennis Reuling, Malte Lochau and Udo Kelter |
ECMFA / F |
|
Extracting Correspondences from Metamodels Using Metamodel Matching |
Shichao Fang and Kevin Lano |
JRC |
15:30−16:00 Coffee break
16:00−17:30 Model and Data Management
Chair: Djamel Khellali
|
Domain-Specific Model Distance Measures |
Eugene Syriani, Robert Bill and Manuel Wimmer |
ICMT |
|
Trading Accuracy for Performance in Data Processing Applications |
Gala Barquero, Javier Troya and Antonio Vallecillo |
ECMFA / F |
|
Model-Driven Technologies for Data Mining Democratisation |
Alfonso de la Vega and Pablo Sanchez |
JRC |
17:30−18:00 Panel ICMT
Chair: Jordi Cabot
« Is there a future for Model Transformation Languages? » organized by Jordi Cabot
Thursday, July 18th
9:00−10:00 Keynote ECMFA 2
Chair: Shaukat Ali
« Engineering of Software Factories for High-tech Industry – Experience and Challenges » by Ivan Kurtev
10:00−10:15 Industry day introduction
10:15−11:00 Coffee break
11:00−12:30 Consistency Management
Chair: Martin Gogolla
|
An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing |
Georgios Kanakis, Djamel Eddine Khelladi, Stefan Fischer and Alexander Egyed |
ECMFA / F |
|
A Categorization of Interoperability Issues in Networks of Transformations |
Heiko Klare, Torsten Syma, Erik Burger and Ralf Reussner |
ICMT |
|
Lightweight Consistency Checking for Agile Model-Based Development in Practice |
Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti and Jan Carlson |
ECMFA / A |
12:30−14:00 Lunch
14:00−15:30 Verification and Validation I
Chair: Erwan Bousse
|
Formal reasoning over class models using TOMM |
Juan Jose Mendoza Santana and Juliana Küster Filipe Bowles |
ECMFA / F |
|
Source-Code Level Regression Test Selection: the Model-Driven Way |
Thibault Béziers La Fosse, Jean-Marie Mottu, Massimo Tisi and Gerson Sunye |
ECMFA / F |
|
System Based Interference Analysis |
Amin Oueslati, Philippe Cuenot, Julien Deantoni and Christophe Moreno |
ECMFA / A |
15:30−16:00 Coffee break
16:00−17:30 Verification and Validation II
Chair: Önder Babur
|
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations |
Chaima Boufaied, Domenico Bianculli and Lionel Briand |
ECMFA / A |
|
Developing Comprehensive Postconditions Through a Model Transformation Chain |
Nisha Desai and Martin Gogolla |
ICMT |
|
Searching for Optimal Models: Comparing Two Encoding Approaches |
Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler and Manuel Wimmer |
ICMT |
17:30−18:00 Keynote JRC
Chair: Loli Burgueño
« Aut tace, Aut Loquere meliora Silentio (and the Likes) » by Alfonso Pierantonio
