EXE 2017

 

3rd International Workshop on Executable Modeling

September 18, 2017, Austin, Texas

co-located with MODELS 2017

About | Program | Call | Important Dates | Committees

We are glad to announce that Juergen Dingel from Queen’s University will give a keynote on executable modeling with UML-RT and Papyrus-RT: Towards an Open-Source MDE Tooling Infrastructure for the Internet of Things.

Photo of AustinPhoto of Austin

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 Third International Workshop on Executable Modeling (EXE 2017) 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.

Download the EXE 2017 Flyer

Program

The workshop will take place at Capitol Ballroom C, Sheraton Austin Hotel at the Capitol.

Detailed Schedule

9:00 – 10:30 Session 1: Opening and Keynote

9:00 – 9:15 Workshop Opening
Slides
9:15 – 10:30 Keynote
Towards an Open-Source MDE Tooling Infrastructure for the Internet of Things
Juergen Dingel
Abstract | Slides

10:30 – 11:00 Coffee Break

11:00 – 12:30 Session 2: Paper Presentations
Presentation time for each paper is 15 minutes plus 5 minutes for discussion. In the end of the session, we will have more detailed discussions on the presentations of the session.

11:00 – 11:20 Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)
Dorian Leroy, Manuel Wimmer, Erwan Bousse, Benoit Combemale and Wieland Schwinger
Paper | Demo Info | Slides
11:20 – 11:40 Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives
Nisha Desai, Martin Gogolla and Hilken Frank
Paper | Slides
11:40 – 12:00 Executing Robot Task Models in Dynamic Environments
Kai Adam, Arvid Butting, Oliver Kautz, Bernhard Rumpe and Andreas Wortmann
Paper | Slides
12:00 – 12:30 Discussion

12:30 – 14:00 Lunch Break

14:00 – 15:30 Session 3: Paper Presentations
Presentation time for each paper is 15 minutes plus 5 minutes for discussion. In the end of the session, we will have more detailed discussions on the presentations of the session.

14:00 – 14:20 Towards one Model Interpreter for Both Design and Deployment
Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier and Ciprian Teodorov
Paper | Slides
14:20 – 14:40 Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles
Filippo Grazioli, Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe and Michael von Wenckstern
Paper | Slides
14:40 – 15:00 Consistency Recovery in Interactive Modeling
Juri Di Rocco, Davide Di Ruscio, Marcel Heinz, Ludovico Iovino, Ralf Lämmel and Alfonso Pierantonio
Paper | Slides
15:00 – 15:30 Discussion

15:30 – 16:00 Coffee Break

16:00 – 17:30 Session 4: Panel Discussion

Title: Executable Modeling for Hardware, Software and Cyber-Physical Systems

Panelists:

Abstract: In the software development community, the use of executable modeling has been particularly strong in the context of real-time system applications and domain-specific modeling. In the system engineering community, model-based tools allow simulation and analysis of complex system models. And, even more widely in the engineering and scientific communities, there is a robust set of executable modeling tools that support hardware integration, engineering simulation and mathematical modeling. Today, all these technical groups are coming together to develop a new generation of increasingly complicated cyber-physical systems, such as aircrafts, cars and medical devices – and, with the growth of the Internet of Things, more and more devices we use every day. Model-based approaches are critical for dealing with the functional, reliability and security concerns for these systems. This panel will bring together researchers and practitioners from across the system and software communities to discuss their approaches and experiences with using executable modeling to address such difficult issues, from laboratory research, to engineering development, to real-world deployment. Panelists will cover the benefits and success factors of executable modeling and propose future directions for further advancing the field.

Keynote “Towards an Open-Source MDE Tooling Infrastructure for the Internet of Things” by Juergen Dingel

Portrait of Juergen Dingel

Abstract

Despite significant progress, the efficient construction of high-quality software is still challenging. As software continues to penetrate more parts of industry, business, and society, and is entrusted with increasingly complex tasks, these challenges will not diminish. With its emphasis on abstraction and automation, Model Driven Engineering (MDE) has the proven potential to deal with this complexity.

We will summarize our ongoing efforts to build comprehensive open source tool support for the use of MDE for the development of real-time embedded systems that are distributed, heterogenous, and adaptive, and thus possess many of the features that Cyber-Physical Systems (CPS) and Internet of Things (IoT) applications are expected to have. Our starting point will be short descriptions of UML-RT, a proven UML2 profile for real-time embedded systems, and Papyrus-RT, an open source MDE tool for UML-RT. Then, our work on extending the capabilities of UML-RT and Papyrus-RT will be discussed.
In particular, we will show how UML-RT models can be

  1. connected with external tools and components for the purposes of quality assurance (e.g., monitoring, animation, simulation), adaptation (e.g., steering), and construction of loosely coupled, heterogenous systems (e.g., via IoT’s MQTT protocol),
  2. debugged on the model-level in a platform-independent fashion, and
  3. modified at runtime.
Next steps and open problems will be sketched.

Biography

Juergen joined the Computing faculty of Queen’s University in the winter of 2000. He received an M.Sc. in Computer Science from Berlin University of Technology in 1992, an M.Sc. in Pure and Applied Logic in 1994 and a Ph.D. in Computer Science in 1999 from Carnegie Mellon University. Juergen was PC Co-chair of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS’14) and of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE’11). He is on the editorial boards of the Springer journals Software and Systems Modeling (SoSyM), and Software Tools for Technology Transfer (STTT) and currently serves as chair of the MODELS Steering Committee and as Interim Co-chair of the Research and Academia Committee of the Eclipse Papyrus Industrial Consortium. His research has been supported by various sources including IBM, GM, Ericsson, the Natural Science and Engineering Council of Canada (NSERC), the Ontario Centres of Excellence (OCE), the Ontario Ministry of Research, Innovation, and Science, the Deutsche Forschungsgemeinschaft (DFG), and the German Academic Exchange Service. At Queen’s, he has served as the Chair of Undergraduate Studies (2015 – 2017) in the School of Computing where he also leads the Modeling and Analysis in Software Engineering Group (MASE).

Call for Papers

Context

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 2017 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

Submissions

The following types of submissions are solicited (please indicate the type of your submission as a footnote to the title of your paper):

  1. 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.
  2. 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.
  3. Position papers (up to 2 pages) presenting new ideas or early research results in one of the topics of the workshop.
  4. 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 IEEE formatting instructions. Submissions created with LaTeX are preferred, but using Word is allowed. For LaTeX, use the document class \documentclass[conference]{IEEEtran}.

Submit your paper electronically as PDF via EasyChair at https://easychair.org/conferences/?conf=exe2017.

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. A pre-workshop version of the accepted papers will be available on the workshop website and a post-workshop version will be published as part of the workshop’s post-proceedings at CEUR workshop proceedings.

Important Dates

  • Submission deadline: July 7, 2017 July 14, 2017
    • Abstract submission deadline: July 11, 2017
  • Author notification: July 28, 2017
  • Workshop: September 18, 2017
  • Submission deadline for camera-ready version: October 13, 2017

Workshop Format

EXE 2017 is a full-day workshop held as part of MODELS 2017. 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.

Committees

Organizers

Program Committee

  • Francis Bordeleau, CMind, Canada
  • Tony Clark, Sheffield Hallam University, United Kingdom
  • Peter Clarke, Florida International University, United States
  • Benoit Combemale, IRISA and University of Rennes, France
  • Jonathan Corley, University West Georgia, United States
  • Juan de Lara, University of Madrid, Spain
  • Julien Deantoni, University Nice Sophia Antipolis, CNRS, I3S, Inria, France
  • Thomas Degueule, CWI, The Netherlands
  • Juergen Dingel, Queen’s University, Canada
  • Martin Gogolla, University of Bremen, Germany
  • Dimitris Kolovos, University of York, United Kingdom
  • Nicholas Matragkas, University of Hull, United Kingdom
  • Marjan Mernik, University of Maribor, Slovenia
  • Zoltan Micskei, Budapest University of Technology and Economics, Hungary
  • Richard Paige, University of York, United Kingdom
  • Alessandro Romero, Brazilian National Institute for Space Research, Brazil
  • Jesús Sánchez Cuadrado, Universidad de Murcia, Spain
  • Markus Scheidgen, Humboldt University Berlin, Germany
  • Bran Selic, Malina Software Corporation, Canada
  • Cortland Starrett, One Fact Inc, United States
  • Eugene Syriani, University of Montreal, Canada
  • 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

Previous Editions

  • EXE 2016, October 3rd, 2016, Saint-Malo, France
  • EXE 2015, September 27th, 2015, Ottawa, Canada

Contact

If you have further questions about EXE 2017, do not hesitate and contact us via an email to:

exe2017 [at] modelexecution.org

© 2012 moliz by Vienna University of Technology Suffusion theme by Sayontan Sinha