Call for Papers:
2nd International Workshop on Debugging in Model-Driven Engineering (MDEbug 2018)
co-located with MODELS 2018,
October 16 2018,
We would like to invite you to submit papers to the 2nd International Workshop on Debugging in Model-Driven Engineering (MDEbug 2018), held in conjunction with the ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS) at Copenhagen, Denmark, on October 16 2018.
Context and Motivation
System engineers spend a significant part of their time debugging the systems they develop, i.e., finding and fixing the cause of failures initially observed using verification and validation techniques such as testing, model checking, and simulation. While verification and validation techniques are finding their way into model-driven engineering processes and tools, locating the source of a failure (a defect) in a modelled system is still mostly a manual task. Although program debugging techniques are well-established and used in academia and industry, only a few debugging techniques and tools for models have been proposed, which are most often implemented in an ad-hoc way. Among other problems, providing such debugging tools is complicated due to the wide variety of models and modelling languages used throughout system development. It is therefore crucial to better understand what is means to debug a model, and to identify what directions can be followed to support effective debugging in model-driven engineering.
The 2018 edition of the MDEbug workshop will follow the successful previous edition that took place during MODELS 2017 in Austin, TX, USA. This workshop aims to bring together researchers, to contribute to the emerging field of debugging in model-driven engineering by further developing the research agenda established in the previous edition of the workshop, and by presenting new ideas, techniques, and tools.
The topics of interest for MDEbug 2018 include:
* Debugging for languages with diverse semantics, including:
└── non-determinism (e.g., Petri nets)
└── concurrency (e.g., Statecharts);
└── continuous-time/discrete-time/discrete-event semantics;
└── spatial distribution (e.g., cellular automata);
└── dynamic structure (e.g., dynamic-structure DEVS);
└── semantics without dynamic behaviour.
* Debugging for languages whose semantics are defined:
└── operationally by building a simulator, executor, or interpreter;
└── denotationally (or translationally), by mapping onto a domain with known semantics by building a model transformation, code generator, or compiler.
* Debugging for domain-specific languages.
* Tool support for model debugging.
* Techniques for “live modelling” (analogous to “live programming”).
* Debugging for model transformations.
* Debugging for declarative languages.
* Techniques for omniscient/time-travel/reverse debugging.
* Debugging languages and their interpreters.
* Tracing support for modelling languages.
* Debugging of (instrumented) deployed systems, with feedback to the models that describe its design.
* Debugging for co-simulation and hybrid languages.
* The relation between code debugging operations and model debugging operations.
This year, we encourage submissions that focus on the notion of \”stepping\”, as this concept has proven a crucial element for implementing interactive debugging techniques. For example, simulation algorithms often naturally decompose into multiple layers of steps that can be used to debug models. But, other stepping behaviour can be observed, and it can be interesting to investigate the relation of stepping to formalism semantics and debugging operations.
Submitted papers must follow the ACM sigconf format (https://www.acm.org/publications/proceedings-template), and belong to one of these categories:
– Full research papers (up to 6 pages) present a novel, innovative approach to one of the workshop’s topics.
– Experience reports (up to 6 pages) present applications of an approach to one of the workshop’s topics, and extensively discusses the experiences of the researchers, including lessons learned, and open issues/challenges that were identified. These can serve as the starting point for discussions at the workshop.
– Position papers (up to 3 pages) present new ideas or early-stage research on one of the workshop’s topics. They should have the potential to spark lively debate on the workshop.
– Tool demonstration papers (up to 3 pages) present new debugging tools or extensions to existing tools that implement debugging techniques.
Each contribution must be submitted electronically in PDF format via Easychair: https://easychair.org/conferences/?conf=MDEbug2018
The accepted papers will be published by CEUR in the workshop proceedings. Also, participants will be encouraged to participate in preparing the workshop report.
* Abstract submission deadline: July 10, 2018
* Paper submission deadline: July 17, 2018
* Notification of acceptance: August 17, 2018
* Workshop: October 16, 2018
The workshop will last one full day. The morning will be dedicated to presentations and the afternoon reserved for focused discussions in small groups, where the discussion points will be derived from the presentations and ensuing discussions. The goals of the workshop are to provide constructive feedback on submitted papers, to give opportunities to establish collaborations between participants, and overall to build a community on the topic of debugging in model-driven engineering. In addition, this workshop can be seen as an opportunity to identify research challenges related to debugging in model-driven engineering, and to relate existing solutions. A summarizing report will be included in the proceedings.
* Simon Van Mierlo, University of Antwerp, Belgium
* Hans Vangheluwe, University of Antwerp, Belgium and McGill University, Canada
* Manuel Wimmer, TU Wien, Austria
* Erwan Bousse, TU Wien, Austria
* Clark Verbrugge, McGill University, Canada
* Mauricio Alférez, University of Luxembourg, Luxembourg
* Shaukat Ali, Simula Research Laboratory, Norway
* Reda Bendraou, UPMC-LIP6, France
* Arnaud Blouin, INSA Rennes, Inria/IRISA, France
* Andrei Chiș, feenk gmbh, Switzerland
* Federico Ciccozzi, Mälardalen University, Sweden
* Benoit Combemale, IRIT, University of Toulouse, France
* Jonathan Corley, University of West Georgia, USA
* Julien Deantoni, INRIA, France
* Davide Di Ruscio, Università degli Studi dell’Aquila, Italy
* Juergen Dingel, Queen’s University, Canada
* Martin Gogolla, University of Bremen, Germany
* Jeff Gray, University of Alabama, USA
* Robert Heinrich, Karlsruher Institute of Technology, Germany
* Nicolas Hili, IRT Saint Exupéry, France
* Levi Lucio, Fortiss, Germany
* Tanja Mayerhofer, TU Wien, Austria
* Tim Molderez, Vrije Universiteit Brussel, Belgium
* Eugene Syriani, University of Montreal, Canada
* Jérémie Tatibouët, CEA, France
* Matthias Tichy, Ulm University, Germany
* Massimo Tisi, INRIA, France
* Javier Troya, University of Seville, Spain
* Antonio Vallecillo, Universidad de Málaga, Spain