Venue: Monday 28 September in Richelieu

Keynote by Manuel Wimmer, Vienna University of Technology, Austria

Search-based Model Transformation Analysis

Huge efforts have been invested in the last decade concerning the establishment of dedicated analysis methods and techniques for model transformations. The analysis of general properties such as termination and confluence as well as specific properties defined for one particular transformation have been studied for different transformation kinds and languages. In addition, several ilities have been explored such as extensibility and maintainability of model transformations.

What most transformation analyses have in common is that they consider the transformation specifications as their primary source. However, as I will show in my presentation, methods and techniques deployed for analysing potential transformation executions at runtime are needed as well. As transformation executions quickly span huge transformation spaces, I will show how to effectively analyse and guide transformation executions towards fulfilling multiple, potentially conflicting transformation goals by employing search-based techniques.


Manuel Wimmer is senior researcher in the Business Informatics Group (BIG) at the Vienna University of Technology, Austria and substitution professor in the Software Engineering Research Group at the Philipps-University Marburg, Germany. In 2011/2012, he has been a research associate in the Software Engineering Group at the University of Málaga, Spain. He received his Ms and PhD degrees in Business Informatics from the Vienna University of Technology in 2005 and 2008, respectively. In 2014, he received his Habilitation (venia docendi) in Informatics from the Vienna University of Technology.

He is/was involved in several national and international projects dealing with the foundations and application of model engineering techniques, especially model transformations, for domains such as tool interoperability, legacy tool modernization, model versioning and evolution, software reverse engineering and migration, Web engineering including social Web and semantic Web, Cloud computing, and flexible production systems. He is co-author of the book Model-driven Software Engineering in Practice (Morgan & Claypool, 2012).


09:00 - 09:05  Welcome and Workshop Opening

The workshop organizers: Juergen Dingel, Sahar Kokaly, Levi Lúcio, Rick Salay and Hans Vangheluwe

09:05 - 10:00   Keynote: Search-based Model Transformation Analysis

Manuel Wimmer (Vienna University of Technology, Austria) 

Session 1: Iterative Developtment

10:00 - 10:30    Iterative Development of Transformation Models by Using Classifying Terms (Short Paper)

Frank Hilken (University of Bremen, Germany), Loli Burgueño (University of Málaga, Spain), Martin Gogolla (University of Bremen, Germany) and Antonio Vallecillo (University of Málaga, Spain)

10:20 - 11:00   Coffee break

Session 2: Reuse and Evolution

11:00 - 11:30   Transformation reuse: what is the intent?

Rick Salay (University of Toronto, Canada), Steffen Zschaler (King's College London, UK) and Marsha Chechik (University of Toronto, Canada)  

11:30 - 12:00   Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems

Bernhard Hoisl and Stefan Sobernig (Vienna University of Economics and Business, Austria)  

12:00 - 13:30  Lunch break

Session 3: Verification

13:30 - 14:00   Finding and fixing bugs in model transformations with formal verification: An experience report

Gehan M. K. Selim, James R. Cordy, Juergen Dingel (Queen's University, Canada), Levi Lúcio and Bentley J. Oakes (McGill University, Canada) 

14:00 - 14:30 Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations

Johannes Dyck, Holger Giese, Leen Lambers (Hasso Plattner Institute at the University of Potsdam, Germany), Sebastian Schlesinger and Sabine Glesner(Technical University of Berlin, Germany) 

14:30 - 15:00   Analysis of Source-to-Target Model Transformations in QueST

Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly and Tom Maibaum (McMaster University, Canada) 

15:00 - 15:35  Coffee break

Session 4: Novel Approaches

15:35 - 16:05  A Diagrammatic Approach to Model Completion

Fazle Rabbi (St. Francis Xavier University, Canada), Yngve Lamo (Bergen University College, Norway), Ingrid Yu (University of Oslo, Norway) and Lars Kristensen (Bergen University College, Norway) 

Invited Paper

16:05 - 16:45  QVT Traceability: What does it really mean?

Edward Willink (Willink Transformations Ltd., UK) and Nicholas Matragkas(University of York, UK) 

Discussion and Conclusions

16:45 - 17:15 

AMT's program [in PDF format].