Keynote by Ronan Barrett, Ericsson

Exploring the non-functional properties of model transformation techniques used in industry

Authoring model transformations is arguably the most resource intensive effort in the whole Model Driven Engineering (MDE) chain. The non-functional properties (NFP) of the techniques used to realize these transformations has an enormous impact on the quality of the model based systems being developed. It is always tempting, and someone will invariable offer, to conjure up a quick script to implement a transform. However, transformations are more often than not creatures with a long life span. They evolve in ways you would never have expected and so require excellent extensibility, readability and maintainability. They must of course also perform as well as their previous incarnation with the same or better levels of quality. These non-functional properties are not synonymous with hastily written scripts. We know from experience that making bad choices early on will cost later. In this talk we will share our experiences of authoring transformations using a number of different open source transformation techniques and how we have tried, and succeeded in most cases, to meet our NFP obligations.

Bio

Ronan Barrett received his Ph.D from the School of Computing at Dublin City University, Ireland, in 2008. He is a Senior Specialist in Modeling Technologies & Transformations at Ericsson, Sweden. Since completing his Ph.D. Ronan has worked on applying model driven engineering concepts and technologies in industry. He has worked extensively with Eclipse based open source modeling technologies, working closely with the open source community and internally within Ericsson. Ronan has a wealth of experience in writing model transformations and designing domain specific language tools that meet demanding non-functional requirements. He has published a number of academic papers in the area of model driven engineering and has also presented at open source conferences like EclipseCon Europe.

Schedule for the day

09:00 - 09:05  Welcome and Workshop Opening
The workshop organizers

09:05 - 10:00  Keynote: Exploring the non-functional properties of model transformation techniques used in industry (presentation)
Ronan Barrett, (Ericsson, Sweden) 

Session 1: Refactoring

10:00 - 10:30    A query structured approach for model transformation (presentation)
Hamid Gholizadeh, Zinovy Diskin and Tom Maibaum (McMaster University, Canada) 

10:30 - 11:00   Coffee break

Session 2: Testing

11:00 - 11:30   Unit Testing of Model to Text Transformations (presentation)
Alessandro Tiso, Gianna Reggio and Maurizio Leotta (University of Genova, Italy) 

11:30 - 12:00   On Static and Dynamic Analysis of UML and OCL Transformation Models (presentation)
Martin Gogolla, Lars Hamann and Frank Hilken (University of Bremen, Germany) 

12:00 - 12:30   Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (presentation)

12:30 - 14:00  Lunch break

Session 3: Novel Approaches

14:00 - 14:30   Towards Approximate Model Transformations (presentation)
Javier Troya (University of Malaga, Spain), Manuel Wimmer (Vienna University of Technology, Austria) and Antonio Vallecillo ( University of Malaga, Spain) 

14:30 - 15:00 Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (presentation)
Andreas Rentschler, Dominik Werle, Qais Noorshams and Lucia Happe (Karlsruhe Institute of Technology, Germany) 

15:00 - 15:30   Towards Verified Java Code Generation from Concurrent State Machines (presentation)
Dan Zhang (Eindhoven University of Technology, The Netherlands), Dragan Bosnacki (Eindhoven University of Technology, The Netherlands), Mark van den Brand (Eindhoven University of Technology, The Netherlands), Luc Engelen (Eindhoven University of Technology, The Netherlands), Cornelis Huizing (Eindhoven University of Technology, The Netherlands), Ruurd Kuiper (Eindhoven University of Technology, The Netherlands) and Anton Wijs (RWTH Aachen, Germany) 

15:30 - 16:00  Coffee break

Session 4: Non-Functional Requirements

16:00 - 16:30  Towards Rigorously Faking Bidirectional Model Transformations (presentation)
Christopher M. Poskitt (ETH Zuerich, Switzerland), Mike Dodds (University of York, UK), Richard F. Paige (University of York, UK) and Arend Rensink (University of Twente, The Netherlands) 

16:30 - 17:00  Towards Analysing Non-Determinism in Bidirectional Transformations (presentation)
Romina Eramo, Romeo Marinelli, Alfonso Pierantonio and Gianni Rosa (University of L'Aquila, Italy) 

17:00 - 17:30  Session 4: Discussion and Wrapup