Venue: Monday 28 September in Richelieu
Keynote by Manuel Wimmer, Vienna University of Technology, AustriaSearch-based Model Transformation AnalysisHuge 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. BioManuel 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). Schedule09:00 - 09:05 Welcome and Workshop OpeningThe 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].
|