4th International Workshop on Executable Modeling
October 14, 2018, Copenhagen, Denmark
co-located with MODELS 2018
About the Workshop
Executable models have the potential of bringing major benefits to the development of complex systems, as they provide abstractions of complex system behaviors and enable early analyses of that behavior. Despite the potential benefits of executable models, there are still many challenges to solve, such as the lack of maturity in the definition of and tooling for executable modeling languages, and the limited experience with executable modeling in much of the software and systems development industry. The objective of the Fourth International Workshop on Executable Modeling (EXE 2018) is to draw attention to the potentials and challenges of executable modeling and advance the state-of-the-art in executable modeling. It aims at bringing together researchers working towards overcoming challenges in executable modeling, as well as practitioners from different application domains and application contexts of executable modeling. The workshop intends to provide a forum for exchanging recent results, ideas, opinions, requirements, and experiences in executable modeling.
9:00 – 10:30 Session 1: Opening and Industry Talks (Chair: Tanja Mayerhofer)
|9:00 – 9:15||Workshop Opening
|9:15 – 9:40||Invited Industry Talk|
Managing Build Configuration Complexity in Industrial Embedded Systems
Elena Strabykina and Mattias Mohlin (HCL Technologies, Products and Platforms)
Slides | RTist
|9:40 – 10:05||Invited Industry Talk|
Why Executable Models are a Requirement for our Customers
Taylor Riche (National Instruments)
|10:05 – 10:30||Invited Industry Talk|
UML Precise Semantics Standards at OMG: Executing on the Vision
Ed Seidewitz (Model Driven Solutions)
10:30 – 11:00 Coffee Break
11:00 – 12:35 Session 2: Paper Presentations (Chair: Erwan Bousse)
Presentation time for research papers is 15-20 minutes plus 5-10 minutes for discussion.
Presentation time for tool demonstration papers is 15 minutes plus 5 minutes for discussion.
|11:00 – 11:25||Execution of UTP test cases using fUML|
Marc-Florian Wendland and Niels Hoppe
Paper | Slides
|11:25 – 11:50||A generic solution for weaving business code into executable models
Eric Cariou, Olivier Le Goaer, Lea Brunschwig and Franck Barbier
Paper | Slides
|11:50 – 12:15||On executable models that are integrated with program code
Paper | Slides
|12:15 – 12:35||EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration)|
Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe and Michael von Wenckstern
Paper | Demo Video
12:35 – 14:00 Lunch Break
14:00 – 15:30 Session 3: Keynote & Discussion (Chair: Jeff Gray)
|14:00 – 15:00||Keynote|
Model Execution: Past, Present and Future
Abstract | Slides
|15:00 – 15:30||Discussion|
What is your vision for the future of executable modeling?
15:30 – 16:00 Coffee Break
16:00 – 17:30 Session 4: Live Tool Demonstrations & Workshop Closing (Chair: Ed Seidewitz)
Demonstration time is 10 minutes plus 2 minutes for discussion.
|16:00 – 16:12||Tool demonstration related to paper “Execution of UTP test cases using fUML”
Marc-Florian Wendland and Niels Hoppe
|16:12 – 16:24||Tool demonstration on PauWare related to paper “A generic solution for weaving business code into executable models”
Eric Cariou, Olivier Le Goaer, Lea Brunschwig and Franck Barbier
|16:24 – 16:36||Tool demonstration on Codeling related to paper “On executable models that are integrated with program code”
|16:36 – 16:48||Tool demonstration on Papyrus for xtUML
Cortland Starrett, Robert Mulvey, Keith Brown and Levi Starrett
|16:48 – 17:00||Tool demonstration on WebGME Dynamic Systems Studio (WebGME-DSS)
Patrik Meijer and Tamas Kecskes
WebGME | Design Studios
|17:00 – 17:12||Tool demonstration on LieberLieber Embedded Engineer
|17:15 – 17:30||Workshop Closing
Keynote “Model Execution: Past, Present and Future” by Benoit Combemale
In this talk I will review some of the current initiatives regarding executable modeling, including their objectives and current actual facilities. After this brief review of the state of the art and practice, I will jump into important challenges the community is currently facing to scale up the adoption of executable modeling, and to draw up a future where it meets its initial expectations. For this, I will argue that modeling is more a human endeavor than a technical one, though most of the current approaches focus on technical facilities. I will then discuss required facilities to support engineers in design thinking, and why this is currently challenging in the context of executable modeling. I conclude the talk providing a possible research roadmap for the community to address such challenges.
Since September 2017, Benoit is Full Professor of Software Engineering in the Department of Mathematics and Computer Science of the University of Toulouse – Jean Jaurès (UT2J), France. He is evolving within the research team SM@RT of the Research Institute in Computer Science of Toulouse (IRIT). Before joining University of Toulouse, he was an Associate Professor at University of Rennes 1 (2009-2017), evolving within the research team DiverSE (formerly Triskell), joint to the IRISA and Inria labs, and teaching in the engineering school ESIR.
Benoit is interested in software engineering, including model driven software engineering (MDE), software language engineering (SLE) and software validation & verification (V&V); mostly in the context of (smart) cyber-physical systems and Internet of things. He is a founding member of the GEMOC initiative, an international effort to develop techniques, frameworks, and environments to facilitate the creation, integration, and automated processing of heterogeneous modeling languages.
Benoit co-authored 3 books, and 100+ journal and conference publications in the fields of MDE, SLE and V&V. He also edited 2 books and various special issues in scientific journals. He is a member of the Steering Committee of the SLE conference, and the Editorial Boards of the international journals SoSyM (Springer), COMLAN (Elsevier), and SCP (Elsevier).
The proceedings of the workshop are published in the CEUR workshop proceedings volume 2245.
Call for Papers
The complexity of modern software-intensive systems, time-to-market pressures, and the need for high quality systems are current challenges faced by the software and systems development industry. To address these challenges, model-driven engineering (MDE) advocates the elevation of models into the center of the development process. Models provide abstractions over the system to be developed, while also providing enough detail to automate the development of implementation artifacts and perform early software analysis. In this context, executable models become more and more important. Executable models provide abstractions of a system’s behavior and constitute the basis for performing early analyses of that behavior. The ability to analyze a system’s behavior early in its development has the potential to turn executable models into important assets of a model-driven software development process.
Scope and Topics
Despite the potential benefits of executable models, there are still many challenges to solve, such as the lack of maturity in the definition of and tooling for executable modeling languages, and the limited experience with executable modeling in much of the software and systems development industry. EXE 2018 will provide a forum for researchers and practitioners to discuss these challenges and propose potential solutions, as well as to assess and advance the state-of-the-art in this area.
Topics of interest for the workshop include but are not limited to the following:
- Methodologies, languages, techniques, and methods for designing and implementing executable modeling languages
- Case studies and experience reports on the successful or failed adoption of executable modeling in different application domains and application contexts
- Model execution tools for the (dynamic) validation, verification, and testing of systems (e.g., model animation, debugging, simulation, trace exploration, model checking, symbolic execution)
- Tracing model executions and analyzing model execution traces
- Automation techniques for the development of model execution tools
- Evolution in the context of executable modeling (e.g., evolution of executable modeling languages, execution semantics, executable models, model execution tools)
- Verification of semantic conformance (e.g., among executable modeling languages, executable models, model execution tools)
- Customization of executable modeling languages and model execution tools (e.g., semantic variation points, profiles)
- Composition, extension, and reuse of executable modeling languages and model execution tools
- Integration of executable modeling languages and programming languages
- Semantics-aware model transformations and code generation
- Scalability of model execution and execution-based model analysis
- Execution of partial and underspecified models
- Model execution in the presence of non-determinism and concurrency
- Surveys and benchmarks of different approaches for the development of executable modeling languages, model execution, and execution-based model analysis
The following types of submissions are solicited (please indicate the type of your submission as a footnote to the title of your paper):
- Research papers (up to 6 pages) presenting novel and innovative approaches in one of the topics of the workshop. We also strongly encourage the submission of comparative studies and benchmarks of existing approaches in one of the topics.
- Experience reports (up to 6 pages) presenting experiences and lessons learned in one of the topics of the workshop. Experience reports should discuss knowledge gained from an executable modeling project experience and identify key challenges encountered.
- Position papers (up to 3 pages) presenting new ideas or early research results in one of the topics of the workshop.
- Tool demonstration papers (up to 3 pages) presenting novel tools or novel features of state-of-the-art tools related to executable modeling. Submissions of tool demonstration papers should consist of two parts. The first part (up to 3 pages) will be included in the proceedings and should describe the tool presented (a URL where the tool can be downloaded should be included). The second part (up to 2 pages) should explain how the tool demonstration will be carried out at the workshop, including examples and screenshots.
All submissions have to follow the ACM sigconf formatting instructions. Submissions created with LaTeX are preferred, but using Word is allowed.
Submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2018.
All submissions will be evaluated by at least three members of the program committee. Research papers, experience reports, and tool demonstration papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the workshop call. Position papers will be evaluated primarily concerning validity and ability to generate discussion (even controversy), as well as alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere.
For each accepted paper, at least one of the authors must register for the workshop, participate fully in the workshop, and present the paper at the workshop. Accepted papers will be published as part of the workshop’s post-proceedings at CEUR workshop proceedings.
- Abstract submission deadline: July 10, 2018
- Submission deadline: July 17, 2018
- Author notification: August 17, 2018
- Submission deadline for camera-ready version: August 21, 2018
- Workshop: October 14, 2018
EXE 2018 is a full-day workshop held as part of MODELS 2018. We plan to have one keynote talk in the morning, followed by two sessions of presentations of the accepted papers. The last session of the day will be a discussion session, where challenges, questions, experiences, opinions, and requirements related to executable modeling will be discussed. The detailed program will be announced in August, shortly after the author notifications have been sent.
- Tanja Mayerhofer, TU Wien, Austria
- Philip Langer, EclipseSource, Austria
- Ed Seidewitz, Model Driven Solutions, USA
- Jeff Gray, University of Alabama, USA
- Erwan Bousse, TU Wien, Austria
- Francis Bordeleau, Canada
- Andrei Chiş, feenk, Switzerland
- Federico Ciccozzi, Mälardalen University, Sweden
- Tony Clark, Aston University, United Kingdom
- Peter Clarke, Florida International University, United States
- Benoit Combemale, IRISA and University of Rennes, France
- Jonathan Corley, University West Georgia, USA
- Julien Deantoni, University Nice Sophia Antipolis, CNRS, I3S, Inria, France
- Thomas Degueule, CWI, The Netherlands
- Davide Di Ruscio, University of L’Aquila, Italy
- Juergen Dingel, Queen’s University, Canada
- Nicolas Hili, IRT Saint Exupéry, France
- Nicholas Matragkas, University of Hull, United Kingdom
- Marjan Mernik, University of Maribor, Slovenia
- Zoltan Micskei, Budapest University of Technology and Economics, Hungary
- Domenik Pavletic, Robert Bosch GmbH, Germany
- Ernesto Posse, Zeligsoft, Canada
- Taylor Riche, National Instruments, United States
- Bran Selic, Malina Software Corporation, Canada
- Cortland Starrett, One Fact Inc, United States
- Jérémie Tatibouët, CEA, France
- Massimo Tisi, Ecole des Mines de Nantes, France
- Simon Van Mierlo, University of Antwerp, Belgium
- Andreas Wortmann, RWTH Aachen University, Germany
- Thanos Zolotas, University of York, United Kingdom
- EXE 2017, September 18, 2017, Austin, Texas
- EXE 2016, October 3rd, 2016, Saint-Malo, France
- EXE 2015, September 27th, 2015, Ottawa, Canada
If you have further questions about EXE 2018, do not hesitate and contact us via an email to:
exe [at] modelexecution.org