Conference Program STAF 2019 · Towards Optimisation of Model Queries: A Parallel Execution...

1

1

July 15-19, 2019 in Eindhoven

Main Events

Satellite Events

ICGT ’19July 15–16, 2019

ICMT ’19July 16–18, 2019

ECMFA ’19July 16–18, 2019

TTC ’19July 19, 2019

MDE@DeRun ’19July 15, 2019

Research Projects Showcase ’19July 15, 2019

GCM ’19July 17, 2019

Junior ResearcherCommunity Event ’19July 16–18, 2019

Industry Day ’19July 18, 2019

STAF 2019Conference Program

2

2

Table of Contents

Welcome to STAF 2019 .......................................................................................................... 3 Program Overview ................................................................................................................. 4 Venue Overview .................................................................................................................... 5 Detailed Program ................................................................................................................... 6 Monday ............................................................................................................................. 6 Tuesday ............................................................................................................................. 9 Wednesday ..................................................................................................................... 10 Thursday ......................................................................................................................... 12 Friday .............................................................................................................................. 15 Keynotes.............................................................................................................................. 16 ICGT Keynote – Monday 15 July, 9:00, Auditorium 4 ......................................................... 16 ICMT Keynote – Tuesday 16 July, 9:00, Auditorium 4 ........................................................ 17 ECMFA Keynote – Wednesday 17 July, 9:00, Auditorium 4 ................................................ 19 Joint ECMFA & Industry Day Keynote – Thursday 18 July, 9:00, Auditorium 4 .................... 20 Main Events ......................................................................................................................... 21 12th International Conference on Graph Transformation (ICGT ’19) ................................... 21 12th International Conference on Model Transformation (ICMT ‘19) .................................. 22 15th European Conference on Modelling Foundations and Applications (ECMFA ‘19) ......... 24 12th Transformation Tool Contest (TTC ‘19) ...................................................................... 25 Satellite Events .................................................................................................................... 26 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun’19) ................................................................................ 26 1st STAF Research Project Showcase (STAF-RPS’19) ........................................................... 27 1st STAF Junior Researcher Community Event (STAF-JRC’19).............................................. 28 10th International Workshop on Graph Computation Models (GCM’19)............................. 29 STAF Industry Day (STAF-ID’19) ........................................................................................ 29 Social Events ........................................................................................................................ 30 Welcome Reception......................................................................................................... 30 Excursion ......................................................................................................................... 30 Conference Dinner ........................................................................................................... 30 Junior Researcher Community Social Event ...................................................................... 30 Venue and Directions ........................................................................................................... 31 Conference Venue ........................................................................................................... 31 Directions to Social Events ............................................................................................... 31 Organization ........................................................................................................................ 32 Organizing Committee ..................................................................................................... 32 Steering Committee ......................................................................................................... 33

3

3

Welcome to STAF 2019

We cordially welcome you to the 7th edition of the STAF federated scientific event on Software Technologies: Applications and Foundations at Eindhoven University of Technology (TU/e).

STAF is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity, and running annually.

It is our great pleasure to host STAF 2019 at TU/e. TU/e is a young university, founded in 1956 by industry, local government and academia. Their spirit of collaboration is still at the heart of the TU/e community. Our campus is in the Brainport Eindhoven technology hub, accounting for 22% of 2015 Dutch private R&D expenditure. Globally, we stand out with our collaboration with advanced industries. TU/e has grown to ca. 12,000 students, with 12% of them international.

Over five days, STAF 2019 will host nine events devoted to applications and foundations of soft-ware technologies. The conferences ECMFA, ICGT, and ICMT, and the long-running transfor-mation tool contest TTC continue their participation in STAF this year. In addition, we have two workshops devoted to specialized topics of software technologies. In line with TU/e’s strong connections with industry from Brainport Eindhoven and beyond, we have an Industry Day event, aiming to provide fertile ground for industry-academic understanding and cooperation. STAF 2019 features four internationally renowned keynote speakers for its main conferences, who will share their deep insights on future challenges and trends in software technologies.

STAF 2019 also brings some novelties: the Junior Researcher Community Event brings exposure to PhD students and junior postdocs with a dedicated session and a dedicated social event to strengthen the community; accepted papers of ECMFA and ICMT appear as platinum open-ac-cess journal publications in JOT; and the Research Project Showcase has been revived, to im-prove the visibility of research projects, and to foster collaborations.

We want to thank the institutes and sponsors that supported STAF 2019. Many thanks go to all chairs, organizers, steering and program committee members, external reviewers, and local staff for their hard work in organizing the STAF 2019 conferences and satellite events. We also thank the keynote speakers, authors, presenters, and participants who contribute with their work and participation to the success of STAF 2019. We hope that you will enjoy STAF 2019, the food and hospitality of TU/e, and the lively and international environment of Brainport Eindhoven!

How to access the Internet at the conference

You can use SSID eduroam if you work for an academic institution that supports eduroam. Al-ternatively, connect your device to SSID TUe-guest. After connecting a window opens, where after accepting the conditions, you can access the internet. The network may disconnect you after some hours, but you can simply re-connect.

How to access the proceedings

Participants of STAF 2019 can access the proceedings of the federated events via the STAF 2019 homepage (http://staf2019.win.tue.nl/); click Proceedings in the menu on the left.

4

4

Program Overview

5

5

Venue Overview

All scheduled sessions take place in the Auditorium building. When you arrive at the Auditorium building, you can enter the building via the congress entrance; this is the leftmost, automatic, door when approaching the Auditorium by foot from the direction of train/bus station and downtown.

Auditorium lecture halls 4 and 5 are directly to the left when entering via this entrance.

Taking the stairs up next to Auditorium 4 or 5, you will end up in the Voorhof area, where the Registration Desk and Senaatszaal are located. Voorhof and Senaatszaal are the location for all coffee and lunch breaks.

The Registration Desk will be staffed 8:00-14:15 on Monday, 8:00-13:00 on Tuesday, and 8:30-14:15 on Wednesday and Thursday. On Friday, registration will take place 8:30-9:00 at the TTC event room.

Auditorium lecture hall 13 is located one level up from the Voorhof/Senaatszaal/Registration Desk area.

6

6

Detailed Program

Monday 09:00 – 10:30 w ICGT Keynote & Session 1

Auditorium 4

Marieke Huisman Automated verification of parallel nested DFS (keynote)

Taichi Tomioka, Yutaro Tsunekawa and Kazunori Ueda Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

w MDE@DeRun Session 1 Auditorium 5

Opening

Hugo Bruneliere A Model-based Framework for Continuous Development and Runtime Validation of Complex Systems: MegaM@Rt2 EU Project Results (invited talk)

Daniele Di Pompeo, Michele Tucci, Alessandro Celi and Romina Eramo A Microservice Reference Case Study for Design-Runtime Interaction in MDE

Miren Illarramendi Rezabal, Felix Larrinaga, Jose Maria Perez, Leire Etxeberria, Xabier Elkorobarrutia and Goiuria Sagardui MDE based IoT Service to Enhance the Safety of Controllers at Runtime

10:30 – 11:00 Coffee Break

11:00 – 12:30 w ICGT Session 2: Theory Auditorium 4

Michael Löwe Double-pushout rewriting in Context: Rule Composition and Parallel Independence

Jens Kosiol, Lars Fritsche, Andy Schürr and Gabriele Taentzer Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs

Frank Drewes, Berthold Hoffmann and Mark Minas Extending Predictive Shift-reduce Parsing to Contextual Hyperedge Replacement Grammars

7

7

w MDE@DeRun Session 2

Auditorium 5

Manuel Wimmer From Design-Time to Runtime and Back Again with Liquid Models (keynote)

Martin Gogolla, Nisha Desai and Khanh-Hoang Doan Developing User and Recording Interfaces for Design Time and Runtime Models

Discussion and Wrap Up

12:30 – 14:00

Lunch Break

14:00 – 15:30 w ICGT Session 3: Tools and Applications Auditorium 4

Nils Weidmann, Anthony Anjorin, Patrick Robrecht and Gergely Varró Incremental (unidirectional) Model Transformation with eMoflon::IbeX

Russ Harmer and Eugenia Oshurko Knowledge Representation and Update in Hierarchies of Graphs

Hans-Joerg Kreowski, Sabine Kuske and Aaron Lye Relating DNA Computing and Splitting/Fusion Grammars

w RPS Session 1 Auditorium 5

Welcome

Bart Meyers, Simon Van Mierlo, Davy Maes and Hans Vangheluwe Efficient Software Controller Variant Development and Validation (ECoVaDeVa) − Overview of a Flemish ICON Project

Moharram Challenger, Albert Rosich, Joachim Denil and Hans Vangheluwe Towards Formalization of Assembly Knowledge for Product and Assembly Trade-Off Analysis

Amin Boudeffa, Alessandra Bagnato, Antonin Abherve, Davide Di Ruscio, Marcio Mateus and Bruno Almeida Integrating and Deploying Heterogeneous Components by Means of a Microservice Architecture in the CROSSMINER Project


8

8

16:00 – 18:00 w ICGT Session 4: Analysis and Verification Auditorium 4

Andrea Corradini, Maryam Ghaffari Saadat and Reiko Heckel Unfolding Graph Grammars with Negative Application Conditions

Amani Makhlouf, Christian Percebois and Hanh Nhi Tran Two-level Reasoning About Graph Transformation Programs

Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born and Jevgenij Huebert Multi-granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (published paper)

Leen Lambers, Jens Kosiol, Daniel Strüber and Gabriele Taentzer Exploring Conflict Reasons for Graph Transformation Systems

w RPS Session 2 Auditorium 5

Massimo Tisi, Jean-Marie Mottu, Dimitrios S. Kolovos, Juan de Lara, Esther Guerra, Davide Di Ruscio, Alfonso Pierantonio and Manuel Wimmer Lowcomote: Training the Next Generation of Experts in Scalable Low-Code Engineering Platforms

Kaïs Chaabouni, Alessandra Bagnato, Stale Walderhaug, Arne J. Berre, Caj Sodergard and Andrey Sadovykh Enterprise Architecture Modelling with ArchiMate

Midhat Jdeed, Melanie Schranz, Alessandra Bagnato, Sarah Suleri, Gianluca Prato, Davide Conzon, Etienne Brosse, Claudio Pastrone, Wilfried Elmenreich and Micha Sende The CPSwarm Technology for Designing Swarms of Cyber-Physical Systems

Elnaz Khatmi, Wilfried Elmenreich, Kristina Wogatai, Melanie Schranz, Martina Umlauft, Walter Laure and Andreas Wuttei Swarm Intelligence Layer to Control Autonomous Agents (SWILT)

Alessio Bucaioni A-CPS: Automation in High-performance Cyber Physical Systems Development

Sum-up and Workshop Closing

9

9

Tuesday 09:00 – 10:15 w ECMFA/ICMT/JRC – Opening & Keynote ICMT

Auditorium 4

Regina Hebig, Anthony Anjorin

Opening

Paul Klint DSLs, The Good, The Bad and The Ugly (keynote)


10:45 – 12:15 w ECMFA/ICMT/JRC Session: Use Cases / Applications Auditorium 4

Alfonso Pierantonio

Sebastian Ehmes, Lars Fritsche and Andy Schürr SimSG: Rule-based Simulation using Stochastic Graph Transformation (ICMT)

Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, Hugo Bruneliere and Davide Di Ruscio Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report (ECMFA / A)

Nils Kaminski, Evgeny Kusmenko and Bernhard Rumpe Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems (ECMFA / F)

w ICGT Session 5: Transformation Rules Construction and Matching Auditorium 13

Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer Constructing Optimized Validity-preserving Application Conditions for Graph Transformation Rules

Nils Weidmann, Anthony Anjorin, Florian Stolte and Florian Kraus From Pattern Invocation Networks to Rule Preconditions

Matthias Barkowsky and Holger Giese Hybrid Search Plan Generation for Generalized Graph Pattern Matching

10

10

w ECMFA/ICMT/JRC Session: Optimisation Techniques Auditorium 5

Malte Lochau

Sina Madani, Dimitris Kolovos and Richard Paige Towards Optimisation of Model Queries: A Parallel Execution Approach (ECMFA / F)

Théo Le Calvar, Frédéric Jouault, Fabien Chhel and Mickael Clavreul Efficient ATL Incremental Transformations (ICMT)

Alessio Bucaioni Boosting Design and Analysis of High-performance Cyber Physical Systems (JRC)

12:15 – 13:00 Lunch Break

Wednesday 09:00 – 10:20 w ECMFA/ICMT/JRC – Awards & Keynote

ECMFA Auditorium 4

Awards ECMFA

Benoit Combemale

Friedrich Steimann Fatal Abstraction (keynote)


11:00 – 12:30 w ECMFA/ICMT/JRC Session: Foundations Auditorium 4

Massimo Tisi

Alejandro Rodríguez, Francisco Durán, Adrian Rutle and Lars Michael Kristensen Executing Multilevel Domain-Specific Models in Maude (ECMFA / F)

Sara Perez-Soler, Mario Gonzalez-Jimenez, Esther Guerra and Juan De Lara Towards Conversational Syntax for Domain-Specific Languages using Chatbots (ECMFA / F)

Martin Gogolla and Antonio Vallecillo On Softening OCL Invariants (ECMFA / F)

11

11

w GCM Session 1 Auditorium 5

Detlef Plump

Aaron Lye Transformation of Turing Machines into Context-Dependent Fusion Grammars

Martin Berglund Analyzing and Pumping Hyperedge Replacement Formalisms in a Common Framework

Mark Minas Speeding up Generalized PSR Parsers by Memoization Techniques


14:00 – 15:30 w ECMFA/ICMT/JRC Session: Model Comparison and Matching Auditorium 4

Ed Willink

Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack and Dimitris Kolovos Towards Efficient Comparison of Change-Based Models (ECMFA / F)

Dennis Reuling, Malte Lochau and Udo Kelter From Imprecise N-Way Model Matching to Precise N-Way Model Merging (ECMFA / F)

Shichao Fang and Kevin Lano Extracting Correspondences from Metamodels Using Metamodel Matching (JRC)


Rachid Echahed

Christian Sandmann and Annegret Habel Rule-Based Graph Repair

Nicolas Behr Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

Holger Giese, Maria Maximova, Lucas Sakizloglou and Sven Schneider Metric Temporal Graph Logic over Typed Attributed Graphs (short version)


12

12

16:00 – 18:00 w ECMFA/ICMT/JRC Session: Model and Data Management Auditorium 4

Djamel Khellali

Eugene Syriani, Bill Robert and Manuel Wimmer Domain-Specific Model Distance Measures (ICMT)

Gala Barquero, Javier Troya and Antonio Vallecillo Trading Accuracy for Performance in Data Processing Applications (ECMFA / F)

Alfonso de la Vega and Pablo Sanchez Model-Driven Technologies for Data Mining Democratisation (JRC)

ICMT Panel Auditorium 4

Jordi Cabot

Is There a Future For Model Transformation Languages?


Reiko Heckel

Sven Schneider, Leen Lambers and Fernando Orejas Automated Reasoning for Attributed Graph Properties (short version)

Panel Discussion Analysis of Graph Transformation Systems: Native vs Translation-Based Approaches

Closing

Thursday 09:00 – 10:15 w Joint ECMFA – Industry Day Keynote &

Opening Industry Day Auditorium 4

Shaukat Ali

Ivan Kurtev Engineering of Software Factories for High-tech Industry – Experience and Challenges (keynote)

Opening Industry Day


13

13

11:00 – 12:30 w ECMFA/ICMT/JRC Session: Consistency Management Auditorium 4

Martin Gogolla

Georgios Kanakis, Djamel Eddine Khelladi, Stefan Fischer and Alexander Egyed An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing (ECMFA / F)

Heiko Klare, Torsten Syma, Erik Burger and Ralf Reussner A Categorization of Interoperability Issues in Networks of Transformations (ICMT)

Robbert Jongeling, Federico Ciccozzi, Antonio Cicchetti and Jan Carlson Lightweight Consistency Checking for Agile Model-Based Development in Practice (ECMFA / A)

w Industry Day Session 1: Applications of Domain Specific Languages Auditorium 5

Eugen Schindler, Yaping Luna Luo

John Wolfgang and Frank van der Kruijssen User Interactions and their impact on DSL Design: An interactive case study for Radiation Oncology Workflow

Barbara Adema and Joris van Aart MDSE at the Dutch Tax and Customs Administration

12:30 – 14:00

Lunch Break

14:00 – 15:30 w ECMFA/ICMT/JRC Session: Verification and Validation I Auditorium 4

Erwan Bousse

Juan Jose Mendoza Santana and Juliana Küster Filipe Bowles Formal Reasoning Over Class Models Using TOMM (ECMFA / F)

Thibault Béziers La Fosse, Jean-Marie Mottu, Massimo Tisi and Gerson Sunye Source-Code Level Regression Test Selection: the Model-Driven Way (ECMFA / F)

Amin Oueslati, Philippe Cuenot, Julien Deantoni and Christophe Moreno System Based Interference Analysis (ECMFA / A)

14

14

w Industry Day Session 2: Modeling Practices Auditorium 5


Machiel van der Bijl Generating Calculation Engines

Klemens Schindler Informal Behavior Modeling for a Medical System


16:00 – 17:30 w ECMFA/ICMT/JRC Session: Verification and Validation II Auditorium 4

Önder Babur

Chaima Boufaied, Domenico Bianculli and Lionel Briand A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations (ECMFA / A)

Nisha Desai and Martin Gogolla Developing Comprehensive Postconditions Through a Model Transformation Chain (ICMT)

Stefan John, Alexandru Burdusel, Robert Bill, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler and Manuel Wimmer Searching for Optimal Models: Comparing Two Encoding Approaches (ICMT)

w Industry Day Session 3: Models in Hightech Systems Auditorium 5


Daan van der Munnik Model-Driven Engineering in Philips IGT-Systems

Eugen Schindler and Bart Theelen Modeling for everyone (developing high-end production print systems)

Closing Remarks

17:30 – 18:00 w JRC Keynote Auditorium 4

Loli Burgueño

Alfonso Pierantonio Aut tace, Aut Loquere meliora Silentio (and the Likes)

15

15

Friday 09:00 – 10:30 w TTC Session 1

Auditorium 4

Welcome

Introduction to the Truth Tables to Binary Decision Diagrams Case Study

Dennis Wagelaar, Théo Le Calvar and Frédéric Jouault ATL (non-reference)

Albert Zuendorf Fulib

Johannes Mey, René Schöne, Christopher Werner and Uwe Assmann JastAdd

Akram Idani, German Vega and Michael Leuschel MEEDUSE

Georg Hinkel NMF

Christopher Werner, Rico Bergmann, Johannes Mey, René Schöne and Uwe Assmann SCROLL

Artur Boronat YAMTL


11:00 – 12:30 w TTC Session 2 Auditorium 4

Introduction to the Live Contest (TBA)

Solutions to the Live Contest (TBA)


15:00 – 16:00 w TTC Session 3 Auditorium 4

Awards and Wrap Up

16

16

Keynotes

ICGT Keynote – Monday 15 July, 9:00, Auditorium 4

Automated Verification of Parallel Nested DFS Marieke Huisman, University of Twente, NL (joint work with Wytse Oortwijn, Sebastiaan Joosten and Jaco van de Pol) Model checking algorithms are typically complex algorithms whose cor-rectness is crucial for the usability of a model checker. However, estab-lishing the correctness of such algorithms can be challenging, and is of-ten done manually. This talk investigates how this verification process can be mechanised. This is urgently needed, because model checking al-gorithms are often parallelised for efficiency reasons, which makes them even more error-prone.

In this talk, we show how the VerCors tool set can be used to mechani-cally verify the parallel nested depth first algorithm of Larman et al. We also show how having a mechanised proof supports the easy verification of various optimisations of the algorithm. As far as we are aware, this is the first deductive veri-fication of a multi-core model checking algorithm.

Biography Marieke Huisman is professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente. Her research focuses on reliability and correctness of concurrent and distributed software and has led a.o. to verification techniques as implemented in the VerCors tool set. She lectures in the Computer Science department of the University of Twente, teaching (concurrent) programming, the use of formal methods, and program verifica-tion; and is the programme mentor for two of Twente’s Computer Science Master specialisa-tions. She chairs the Informatics Board of the Lorentz Center in Leiden, and the Dutch National Association for Software Engineering VERSEN. Marieke was the winner of the Netherlands Prize for ICT Research 2013, worth 50,000 euros. The ICT Prize is a unique prize for a scientist, aged 40 years or younger, who carries out innovative research or is responsible for a scientific break-through in ICT.

17

17

ICMT Keynote – Tuesday 16 July, 9:00, Auditorium 4 DSLs, the good the bad and the ugly Paul Klint, CWI and University of Amsterdam, NL In the modeling and software language engineering communities there are many opposing views and issues for debate:

• Textual versus visual representation?

• Tree versus graph?

• Concrete versus abstract syntax?

• Strong versus weak typing?

• … and the list goes on.

There is, however, a common belief that models, respectively, domain specific languages (DSLs) are a good thing to have and can form the basis for effective system construction and software development. There are indeed successful examples to support this. But could it be that we are ignoring key factors for success and failure? Who is skilled enough to design these models and DSLs? How can they be implemented in industrial environments? How can they be maintained? How are students and users educated? Do the different approaches lead to cross-fertilization in research, practice or both?

I come from approaches to meta-programming that are based on text, general context-free pars-ing, trees, pattern matching and term rewriting. This is reflected in the tools I work on, today the Rascal meta-programming language and workbench (https://www.rascal-mpl.org) and long before that the ASF+SDF Meta-Environment (http://www.meta-environment.org). This back-ground is unavoidably reflected in the observations and examples to be presented in this invited talk.

After discussing the existential question if, when and why DSLs are a good idea, I will present some examples of and experience with DSLs in commercial applications as well as some more recent ones in domains like binary data parsing, gaming, and programming exercises.

An important concept behind all these examples are transformations, the bread and butter of the meta-programmer: classic transformations in compilers, program refactoring and migration, or bidirectional transformations in IDEs. I will discuss some examples and try to identify open issues.

To conclude the talk I will present opportunities and challenges that could advance the design, implementation and wide use of domain specific languages. The good: promising technology. The bad: missing technology and lack of cross-fertilization. The ugly: huge knowledge gap be-tween technology developers and users.

18

18

Biography Paul Klint is former head of the software engineering department at Centrum Wiskunde & In-formatica (CWI, the Dutch national research center for computer science and mathematics) and professor emeritus in software engineering at the University of Amsterdam. He holds a MSc in Mathematics from the University of Amsterdam and a PhD in Computer Science from the Tech-nical University Eindhoven. He (co)authored three books and has published over hundred scien-tific articles. He was advisor of over 40 dissertations and 150 master's theses. Paul pioneered in meta-programming, general context-free parsing, term rewriting, domain-specific languages and software renovation and together with many others he designed and implemented substantial software systems including the ASF+SDF Meta-Enviroment, the Tool-Bus coordination architecture, and the Rascal meta-programming language and workbench. He is member of the supervisory board of BIT, the bureau that has to approve all large IT projects of the Dutch government, does consulting for companies and governments worldwide, and has co-founded several companies includinh the Software Improvement Group (software quality in-spection), SolidSands (compiler validation) and SWAT.engineering (software analysis and trans-formation, including domain-specific languages). Paul's mission is to make better software and to make software better.

19

19

ECMFA Keynote – Wednesday 17 July, 9:00, Auditorium 4

Fatal Abstraction Friedrich Steimann, University of Hagen, DE The ability to abstract, and to reason in abstract terms, is one of the key achievements of the human mind. Without abstraction, there would not be language, and without language, there would not be software. As software people, we deal with abstractions all the time — in a computer there are no “real things,” only abstractions, and if we are not good with abstractions, we had better choose a different profession.

And yet, the use of abstraction is not without problems — problems solved or decisions made at an abstract level are useless unless they carry over to the concrete, where they are challenged by the details being abstracted from. One such detail may suffice to void an abstraction and everything built on it. With details out of sight, such failures come as surprises, and the higher the towers of abstraction, the greater the risk of failure. In this talk, I look at the pitfalls of abstraction from three different perspectives: programming, software engineering, and management. I conclude that in all three disciplines, making ab-stractions safe is so difficult that it may very well defeat its benefits, that is, that one might be better off dealing with the details from start to end.

Biography Friedrich Steimann is a full professor at Fernuniversität in Hagen, Germany, where he is chair of Programming Systems. With a background in computational linguistics and medical infor-matics, he has been a steady contributor to the field of software modelling since 1999. He is passionate about programming, and finds it hard not to speak up when he thinks that things are going in the wrong direction.

20

20

Joint ECMFA & Industry Day Keynote – Thursday 18 July, 9:00, Auditorium 4

Engineering of Software Factories for High-tech Industry – Experience and Challenges Ivan Kurtev, Altran, Eindhoven, NL Modern software factories automate many aspects of software produc-tion and contribute to the overall increase in productivity of engineering processes. In the scope of its Model-Driven Engineering (MDE) set of so-lutions, Altran Netherlands advocates using Domain-Specific Languages (DSL) for implementing software factories. Although the current state-of-the-art MDE tools support many engineering tasks, the development of the required complex and highly-integrated language ecosystems is still a challenge. In this talk we share the experi-ence of Altran in developing and managing DSL-based software factories in the high-tech indus-try. Furthermore, we take a critical look at the current state of practice and tools in DSL engi-neering and identify areas of improvement. We address the question if the process of DSL de-velopment itself enjoys the same level of automation and abstraction that it tries to bring to the DSL users. The talk concludes with an outline of potential research areas and a discussion on achieving a better alignment between the academic research and industry.

21

21

Main Events

12th International Conference on Graph Transformation (ICGT ’19) July 15 – 16, 2019 Dynamic structures are a major cause for complexity when it comes to model and reason about systems. They occur in software architectures, models, pointer structures, databases, networks, etc. As collections of interrelated elements, which may be added, removed, or change state, they form a fundamental modelling paradigm as well as a means to formalise and analyse sys-tems. Applications include architectural reconfigurations, model transformations, refactoring, and evolution of a wide range of artefacts, where change can happen either at design or run time.

Based on the observation that these structures can be represented as graphs and their modifi-cations as graph transformations, theory and applications of graphs, graph grammars and graph transformation systems have been studied in our community for more than 40 years. The con-ference aims at fostering interaction within this community as well as attracting researchers from other areas, either in contributing to the theory of graph transformation or by applying graph transformation to established or novel areas.

Program Chairs Fernando Orejas Esther Guerra

Program Committee Anthony Anjorin Paolo Bottoni Andrea Corradini Juergen Dingel Maribel Fernández Holger Giese

Reiko Heckel Barbara König Harald König Leen Lambers Yngve Lamo Juan de Lara

Detlef Plump Christopher M. Poskitt Arend Rensink Leila Ribeiro Andy Schürr

Daniel Strüber Gabriele Taentzer Jens Weber

Steering Committee Paolo Bottoni Andrea Corradini Gregor Engels Holger Giese Reiko Heckel Dirk Janssens Barbara König

Hans-Jörg Kreowski Leen Lambers Ugo Montanari Mohamed Mosbah Manfred Nagl Fernando Orejas

Francesco Parisi-Presicce John Pfaltz Detlef Plump Arend Rensink Leila Ribeiro Grzegorz Rozenberg

Andy Schürr Gabriele Taentzer Jens Weber Bernhard Westfech-tel

22

22

12th International Conference on Model Transformation (ICMT ‘19) July 16 – 18, 2019 The 12th International Conference on Model Transformations ICMT 2019 aims at advancing the state of knowledge about model transformation technologies. Model transformations are a core technology underlying the use of modeling and Domain Specific Languages (DLSs). Especially in DSL development, model transformations enable a decoupling of abstract and concrete syn-tax(es), supporting reuse and the coexistence of multiple concrete syntaxes (visual, textual) for the same DSL. Transformations also play a key role in analyzing models to reveal conceptual flaws or highlight quality bottlenecks, and in integrating heterogeneous tools into unified tool chains.

Model transformations are facing two major questions: On the one hand, a main emerging pur-pose of model transformations in industry is addressing the continuous evolution of industry standards. For example, automotive companies updating from one to the next AUTOSAR version face huge investments and insecurities, due to the need to update their models. Model trans-formations build the core of most state-of-the-art technologies for such evolution attempts. However, industry is still hesitant to trust these approaches. Thus, the first main question is: How can we ensure that model transformations produce expected results that foster the trust in and use of transformations for co-evolution?

On the other hand, recent studies indicate that modern modeling languages do not substantially differ from standard programming languages with regards to usability, productivity, and main-tainability. This leads to the second main question: Is it time to re-think the design of model transformation languages? What are new innovative language designs, e.g., allowing non-expert users to intuitively specify and validate model transformations?

Program Chairs Regina Hebig Anthony Anjorin

Program Committee Alfonso Pierantonio Davide Di Ruscio Edward Willink Juan de Lara Yngve Lamo Gergely Varro Jens Weber

Reiko Heckel Marsha Chechik Esther Guerra Martin Gogolla Eugene Syriani Shekoufeh Kolah-douz Rahimi

Vadim Zaytsev Loli Burgueño Daniel Strüber Dimitris Kolovos Ludovico Iovino Soichiro Hidaka Malte Lochau

Benoit Combemale Leen Lambers Manuel Wimmer Timo Kehrer Massimo Tisi Gabriele Taentzer

23

23

Steering Committee Jordi Cabot Juan de Lara Davide Di Ruscio Martin Gogolla

Jeff Gray Esther Guerra Zhenjiang Hu Gerti Kappel

Richard Paige Alfonso Pierantonio Antonio Vallecillo Mark van den Brand

Dániel Varró

24

24

15th European Conference on Modelling Foundations and Applications (ECMFA ‘19) July 16 – 18, 2019 The European Conference on Modelling Foundations and Applications is a premium venue ded-icated for achieving the following two key objectives: 1) advancing state of the art in the area of Model-Based Engineering (MBE); 2) promoting the practical applications of MBE. It is also aimed at engaging exciting and fruitful discussions among researchers and practitioners with the ulti-mate aim of facilitating the transfer of research results into practice for improving the quality of software. Last but the not the least, ECMFA also provides a platform for young researchers and students to receive feedback from the leading researchers and practitioners on their research.

Program ChairsBenoit Combemale Shaukat Ali

Communication Chair Erwan Bousse

Program Committee Francis Bordeleau Michalis Famelis Erwan Bousse Davide Di Ruscio Federico Ciccozzi Alessandra Bagnato Dimitris Kolovos Øystein Haugen Romina Eramo Esther Guerra

Massimo Tisi Bran Selic Brice Morin Antonio Cicchetti Houari Sahraoui Thomas Kuehne Zinovy Diskin Sudipto Ghosh Jean-Michel Bruel Manuel Wimmer

Richard Paige Eric Cariou Anthony Anjorin Javier Troya Sebastien Gerard Daniel Varro Jeff Gray Juha-Pekka Tolvanen Martin Gogolla Steffen Zschaler

Joel Greenyer Jennifer Horkoff Ralf Lämmel Marco Brambilla Markus Schacher Regina Hebig Jörg Kienzle Bernhard Rumpe Timothy Lethbridge Andrzej Wąsowski

25

25

12th Transformation Tool Contest (TTC ‘19) July 19, 2019

The aim of this event is to compare the expressiveness, the usability and the performance of graph, model and program transformation tools along a number of selected case studies. A deeper understanding of the relative merits of different tool features will help to further im-prove transformation tools and to indicate open problems.

Organizers Antonio Garcia-Dominguez

Georg Hinkel

Filip Křikava

Program Committee Konstantinos Barm-pis Juan Boubeta-Puig Erwan Bousse

Gwendal Daniel Antonio Garcia-Dominguez Georg Hinkel

Tassilo Horn Akos Horvath Filip Křikava Arend Rensink

Massimo Tisi Gergely Varro Ran Wei

Steering Committee Richard Paige Arend Rensink

Bernhard Schatz Pieter Van Gorp

Albert Zundorf

26

26

Satellite Events

2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@De-Run’19) July 15, 2019 Complex systems are now predominant in several domains such as automotive, health-care, aerospace, industrial control and automation. Such systems call for modern engineering prac-tices such as Modeling/MDE to tackle advances in productivity and quality of these now Cyber-Physical Systems (CPSs).

However, the proposed solutions need to be further developed to scale up for real-life industrial projects and to provide significant benefits at execution time. To this intent, one of the major challenges is to work on achieving a more efficient integration between the design and runtime aspects of the concerned systems: The system behaviour at runtime has to be better matched with the original system design in order to be able to understand critical situations that may occur, as well as corresponding potential failures in design. Methods and tools already exist (many of them not model-based) for monitoring system execution and performing measure-ments of runtime properties. However, they do not usually allow a relevant integration with (and/or a traceability back to) design models. Such a feedback loop from runtime is highly rele-vant at design time, the most suitable level for system engineers to analyse and take impactful decisions accordingly.

Organizers Hugo Bruneliere Romina Eramo Abel Gómez

Program Committee Alessandra Bagnato Simona Bernardi Alessio Bucaioni Jordi Cabot Federico Ciccozzi

Cristóbal Costa-Soria Martin Gogolla Juergen Dingel Davide Di Ruscio Sebastien Gerard

Jesus Gorronogoitia Cruz Frédéric Jouault Jose Merseguer Saad Mubeen

Gerson Sunye Massimo Tisi Andrey Sadovykh Aitor Urbieta

27

27

1st STAF Research Project Showcase (STAF-RPS’19) July 15, 2019 Today’s collaborative research projects act as a bridge between research (e.g., academia) and practitioners (e.g., industries). Within collaborative projects, the research community can share ideas in real industrial environments while, at the same time, can raise the need for new and different research inspired by the needs of industry.

The Research Project Showcase of STAF 2019 provides an opportunity for researchers involved in ongoing and/or recently completed research projects (national, European and international) related to the topics of the conference to present their projects and disseminate the objectives, deliverables, or outcome. During the event, researchers could also share ideas, research state-ments, and call for consortium for future projects needed in their current project context or propose research statements for future projects.

Organizer Alessandra Bagnato

Program Committee Silvia Mazzini Massimo Tisi Dimitrios Soudris Filippo Lanubile Davide Taibi

Tolga Ensari Giacomo Valente Antonio Garcia-Do-minguez Per Håkon Meland

Davide Di Ruscio Luigi Pomante Bernhard Rumpe Gianna Reggio Alin Stefanescu

Ana Cavalli Stephane Maag Spyros Mouzakitis Violeta Damjanovic-Behrendt

28

28

1st STAF Junior Researcher Community Event (STAF-JRC’19) July 16 – 18, 2019 For the first time, STAF provides a forum for junior researchers to interact with their fellows, showcase their research, exchange ideas and get feedback from senior researchers about how to continue their professional career: the different path they could follow, how to apply for re-search projects, how to supervise PhD students, the opportunities both academia and industry offer, or any other topic of interest.

Junior researchers are understood to be undergraduate students who are near the end of their PhD and postdocs who are not fully independent yet.

During the conference and after the event, there will be a dedicated social event only accessible to the junior researchers where, informally, they will have the opportunity to get to know each other and share experiences and ideas.

Organizer Loli Burgueño

Program Committee Andreas Wortmann Juan De Lara Gerson Sunyé

Adrian Rutle Davide Di Ruscio Dimitris Kolovos

Manuel Wimmer Alessandra Bagnato Massimo Tisi

Luis Ferreira Pires Fiona Polack

29

29

10th International Workshop on Graph Computation Models (GCM’19) July 17, 2019 Graphs are common mathematical structures that are visual and intuitive. They constitute a nat-ural and seamless way for system modelling in science, engineering and beyond, including com-puter science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International Workshop GCM 2019 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from the different communities in-terested in the foundations, applications, and implementations of graph computation models and related areas.

Organizers Rachid Echahed Detlef Plump

Program Committee Anthony Anjorin Andrea Corradini Juan de Lara

Rachid Echahed Maribel Fernández Annegret Habel

Hans-Joerg Kreowski Leen Lambers Detlef Plump

Christopher M. Poskitt Leila Ribeiro

STAF Industry Day (STAF-ID’19) July 18, 2019 The STAF Industry Day event will showcase practical applications of Model Based/Driven tech-nologies in industry, showing the level of adoption in industry and reflecting on the associated challenges. The event is an opportunity for networking with relevant academics and industrial partners in the field.

Organizers Eugen Schindler Julien Schmaltz

30

30

Social Events

Welcome Reception Monday July 15, 2019, 18:30h, Stadsbrouwerij Eindhoven The Welcome Reception will be held at Café 100 Watt, the tasting room of the Stadsbrouwerij Eindhoven. Eindhoven had several beer breweries for many centuries, yet they closed one by one. Stadsbrouwerij was recently founded, and manages to brew an impressive array of beers on site. During the welcome reception, you will have the opportunity to taste their beers, as well as have finger food, including some Dutch specialties.

Excursion Tuesday July 16, 2019, 13:00h (gather at bus, outside Auditorium)

The excursion will take us to the DAF Trucks factory in Eindhoven, where we will get a guided tour as well as presentation about DAF’s software development, including its use and challenges related to MDE. We will go there by bus, and be brought back to campus or downtown by bus, ca. 16:30.

Conference Dinner Wednesday July 17, 2019, 18:30h for 19:00h, Evoluon The conference dinner takes place at the Evoluon. The Evoluon was originally built by Philips Electronics in 1966 as a science museum and exhibition center. With its iconic shape, it became a landmark and symbol for Eindhoven. Some years after the museum closed down in 1989, the Evoluon was converted into a conference centre and event location.

Junior Researcher Community Social Event Thursday July 18, 2019, 18:15h, De Zwarte Doos The JRC social event, for postgraduate students and junior postdoctoral researchers, will take place at the Zwarte Doos on TU/e’s campus.

31

31

Venue and Directions

Conference Venue The conference will be held at the Auditorium Quadrant B4, building 1 on TU/e campus map 5612 AZ Eindhoven

Directions to Social Events

Reception on Monday Stadsbrouwerij Eindhoven / Café 100 Watt Bleekweg 1 5611 CZ Eindhoven Stadsbrouwerij is about a 20-minute walk from TU/e. You can take public transport, but this does not save much time. See e.g. Google Maps

Excursion on Tuesday DAF Trucks Hugo van der Goeslaan 1 5643 TW Eindhoven We meet outside the Auditorium on the side opposite Atlas (building 3 on campus map) at 13:00. Our bus will depart at 13:10. The visit to DAF Trucks will run until ca. 16:30.

Conference Dinner on Wednesday Evoluon Noord Brabantlaan 1a 5652 LA Eindhoven We will provide public transport tickets to get to the Evoluon and back. You can take any of bus lines 401, 402, 403, which together run very frequently (once every 5-15 minutes depending on time of evening). Getting off at bus stop Evoluon, you will immediately spot the Evoluon.

JRCE Social Event on Thursday De Zwarte Doos Quadrant B5, building 4 on TU/e campus map 5612 AZ Eindhoven

32

32

Organization

Organizing Committee

General Chair Mark van den Brand Eindhoven University of Technology, The Netherlands

Local Chair Loek Cleophas Eindhoven University of Technology, The Netherlands

Industry Day Eugen Schindler Océ Technologies, The Netherlands

Julien Schmaltz ICT Group, The Netherlands

Workshop Chairs Ivan Kurtev Altran Netherlands

Massimo Tisi IMT Atlantique, France

Publicity Chair Romina Eramo University of L’Aquila, Italy

Financial Chair Yaping Luo ING, The Netherlands

Support Margje Mommers Eindhoven University of Technology, The Netherlands

Agnes van den Reek Eindhoven University of Technology, The Netherlands

Banner and Print Ad Design Celine Chen Eindhoven University of Technology, The Netherlands

Program Booklet Önder Babur Eindhoven University of Technology, The Netherlands

Loek Cleophas Eindhoven University of Technology, The Netherlands

Web Pages Erik Scheffers Eindhoven University of Technology, The Netherlands

33

33

Steering Committee Martin Gogolla University of Bremen, Germany

Thomas Gschwind IBM Zurich Research Lab, Switzerland

Reiko Heckel University of Leicester, UK

Richard Paige (Chair) McMaster University, Canada University of York, UK

Antonio Vallecillo University of Malaga, Spain

Pieter Van Gorp Eindhoven University of Technology, The Netherlands

Jan Vitek Northeastern University, USA

34

34

Our Sponsors

Follow us

http://staf2019.win.tue.nl [email protected]

twitter.com/STAFconferences

July 15-19, 2019 in Eindhoven

STAF 2019

Conference Program STAF 2019 · Towards Optimisation of Model Queries: A Parallel Execution...

Documents

Transcript of Conference Program STAF 2019 · Towards Optimisation of Model Queries: A Parallel Execution...