=Paper=
{{Paper
|id=Vol-2019/exe_intro
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2019/exe_intro.pdf
|volume=Vol-2019
}}
==None==
https://ceur-ws.org/Vol-2019/exe_intro.pdf
Third International Workshop on
Executable Modeling (EXE 2017)
Tanja Mayerhofer∗ , Philip Langer† , Ed Seidewitz‡ , Jeff Gray§ and Erwan Bousse∗
∗ TU Wien, Vienna, Austria
mayerhofer@big.tuwien.ac.at, erwan.bousse@tuwien.ac.at
† EclipseSource Services GmbH, Vienna, Austria
planger@eclipsesource.com
‡ nMeta, Bowie, MD, USA
ed@nmeta.us
§ University of Alabama, Tuscaloosa, AL, USA
gray@cs.ua.edu
Abstract—The Third Edition of the International Workshop discuss challenges of executable modeling, propose potential
on Executable Modeling (EXE) was held on September 18, solutions, and assess and advance the state of the art in
2017 in Austin, Texas, as part of the satellite events of the executable modeling. For this third edition, submissions of
ACM/IEEE 20th International Conference on Model Driven
Engineering Languages and Systems (MODELS 2017). It brought research papers, experience reports, position papers, and tool
together over 40 researchers and practitioners to discuss recent demonstrations on various topics of executable modeling were
advances and current challenges in executable modeling. The invited.
workshop program comprised a keynote on open-source MDE
tooling for the Internet of Things by Juergen Dingel from
II. P ROGRAM
Queen’s University, presentations of five research papers, one
tool demonstration, as well as a panel discussion on executable The Third International Workshop on Executable Modeling
modeling for hardware, software, and cyber-physical systems.
Index Terms—Executable Models; Executable Modeling Lan- was held as a full-day workshop of the ACM/IEEE 20th Inter-
guages; Model Execution; Model Simulation; Execution Seman- national Conference on Model Driven Engineering Languages
tics and Systems (MODELS 2017) Satellite Events on Septem-
ber 18, 2017 in Austin, Texas. Out of eight submissions,
I. O BJECTIVES AND S COPE six were accepted after a rigorous review process in which
The complexity of modern software-intensive systems, time- each paper was reviewed by at least three members of the
to-market pressures, and the need for high quality systems program committee. Five of the accepted submissions are
are current challenges faced by the software and systems research papers presenting novel and innovative approaches
engineering industry. To address these challenges, model- in executable modeling and one is a demonstration of a
driven engineering (MDE) moves models into the center of model execution tool. The following papers were accepted for
the development process. Models provide abstractions over the EXE 2017:
system to be developed, while also providing enough detail 1) “Create and Play your Pac-Man Game with the GEMOC
to automate the development of implementation artifacts and Studio (Tool Demonstration)” by Dorian Leroy, Er-
perform early analysis. wan Bousse, Manuel Wimmer, Benoit Combemale and
In this context, executable models become increasingly im- Wieland Schwinger
portant. They provide abstractions of complex system behav- 2) “Executing Models: Enhancing Validation by Filmstrip
iors and constitute the basis for performing early analyses of Templates and Transformation Alternatives” by Nisha
that behavior. The ability to analyze a system’s behavior early Desai, Martin Gogolla and Hilken Frank
in its development has the potential to turn executable models 3) “Executing Robot Task Models in Dynamic Environ-
into important assets of model-driven software development ments” by Kai Adam, Arvid Butting, Oliver Kautz,
processes, thus reducing effort and cost in the development Bernhard Rumpe and Andreas Wortmann
process and increasing the quality of the developed system. 4) “Towards one Model Interpreter for Both Design and
Despite the potential benefits of executable models, there Deployment” by Valentin Besnard, Matthias Brun,
are still many challenges to solve, such as the lack of maturity Philippe Dhaussy, Frédéric Jouault, David Olivier and
in the definition of and tooling for executable modeling lan- Ciprian Teodorov
guages, and the limited experience with executable modeling 5) “Simulation Framework for Executing Component and
in much of the software and systems development industry. Connector Models of Self-Driving Vehicles” by Filippo
The International Workshop on Executable Modeling (EXE) Grazioli, Evgeny Kusmenko, Alexander Roth, Bernhard
was founded as a forum for researchers and practitioners to Rumpe and Michael von Wenckstern
6) “Consistency Recovery in Interactive Modeling” by Juri Program Committee Members
Di Rocco, Davide Di Ruscio, Marcel Heinz, Ludovico • Francis Bordeleau, CMind, Canada
Iovino, Ralf Lämmel and Alfonso Pierantonio • Tony Clark, Sheffield Hallam University, UK
The accepted papers cover many different aspects of exe- • Peter Clarke, Florida International University, USA
cutable modeling including the following: • Benoit Combemale, University of Toulouse, France
• Jonathan Corley, University West Georgia, USA
• Approaches for implementing operational semantics and
• Juan de Lara, University of Madrid, Spain
interpreters for executable modeling languages (paper 1,
• Julien Deantoni, Université Côte d’Azur, CNRS, I3S,
paper 4)
• Model validation and verification through model execu-
Inria, France
• Thomas Degueule, CWI, The Netherlands
tion (paper 2, paper 4)
• Juergen Dingel, Queen’s University, Canada
• Model simulation (paper 5)
• Martin Gogolla, University of Bremen, Germany
• Executable models@runtime (paper 3)
• Dimitris Kolovos, University of York, UK
• Execution semantics of consistency-preserving model
• Nicholas Matragkas, University of Hull, UK
management operations (paper 6)
• Marjan Mernik, University of Maribor, Slovenia
• Applications of executable modeling for service robotics
• Zoltan Micskei, Budapest University of Technology and
(paper 3) and the development of self-driving vehicles
(paper 5) Economics, Hungary
• Richard Paige, University of York, UK
The workshop started out with a keynote by Juergen Dingel, • Alessandro Romero, Brazilian National Institute for
professor at Queen’s University, with the title “Towards an Space Research, Brazil
Open-Source MDE Tooling Infrastructure for the Internet of • Jesús Sánchez Cuadrado, Universidad de Murcia, Spain
Things”. In his keynote, Juergen gave an introduction to • Markus Scheidgen, Humboldt University Berlin, Ger-
UML-RT, a standardized UML profile for modeling real-time many
embedded systems, and its implementation in the open source • Bran Selic, Malina Software Corporation, Canada
tool Papyrus-RT. Thereafter, he discussed mechanisms for con- • Cortland Starrett, One Fact Inc, USA
necting UML-RT models with external tools and components, • Eugene Syriani, University of Montreal, Canada
the new model debugging capabilities of Papyrus-RT, support • Jérémie Tatibouët, CEA, France
for modifying models at runtime, as well as the Papyrus-RT • Massimo Tisi, Ecole des Mines de Nantes, France
PolarSys Rover demonstrator. • Simon Van Mierlo, University of Antwerp, Belgium
After the keynote, two sessions were dedicated to the • Andreas Wortmann, RWTH Aachen University, Germany
presentation and discussion of the papers accepted for the
workshop. External Reviewers
In the last session, EXE hosted for the first time a panel • Nisha Desai, University of Bremen, Germany
discussion with four researchers and practitioners renowned • Dorian Leroy, TU Wien, Austria
for their contributions to the field of executable modeling on • Jean-Marie Mottu, University of Nantes, France
the topic of “Executable Modeling for Hardware, Software and
IV. ACKNOWLEDGEMENTS
Cyber-Physical Systems”. The panelists were Benoit Combe-
male from the University of Toulouse, Taylor Riché from We thank the organizers of MODELS 2017 very much for
National Instruments, Cortland Starrett from One Fact Inc, hosting EXE 2017 and for their support in the workshop
and Hans Vangheluwe from the University of Antwerp. The organization. Our special thanks go to the general chair of
panelists and the workshop participants discussed applications MODELS 2017, Don Batory, as well as to the workshop
of executable modeling, executable modeling solutions, and chairs Michalis Famelis and Sahar Kokaly, whose support was
open research challenges in executable modeling and the extraordinary. Furthermore, we thank all the presenters and
broader field of MDE. the participants of EXE 2017, who contributed to the open
All the materials presented at EXE 2017 can be found discussions and made the workshop a lively and successful
on the workshop Website http://modelexecution.org/exe2017. event. We also want to express our sincere gratitude to Juergen
This includes the slides of all presentations given at the Dingel for kicking off the workshop with his inspiring keynote.
workshop, as well as the opening statements of the panelists. Furthermore, we thank our panelists, Benoit Combemale,
Taylor Riché, Cortland Starrett, and Hans Vangheluwe for dis-
III. P ROGRAM C OMMITTEE AND E XTERNAL R EVIEWERS cussing approaches, experiences, applications and challenges
of executable modeling. Lastly, we thank the reviewers and the
The program committee of EXE 2017 comprised 25 experts members of the program committee for their timely and high-
in the domain of executable modeling from twelve different quality reviews, as well as for their inputs to the workshop
countries. We thank the program committee members and program.
external reviewers very much for their services in reviewing
and discussing the submitted papers.