MDEbug 2018: 2nd International Workshop on Debugging in Model-Driven Engineering MODELS 2018 Copenhagen, Denmark, October 16, 2018 |
Conference website | https://msdl.uantwerpen.be/conferences/MDEbug/2018/ |
Submission link | https://easychair.org/conferences/?conf=mdebug2018 |
Abstract registration deadline | July 10, 2018 |
Submission deadline | July 17, 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.
Topics of Interest
In order to discuss these and further similar questions , we would like to invite submissions in the form of regular papers, position/experience papers, and demonstration papers (about novel tool features) related to the following topics:
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.
Submission Guidelines
Submitted papers must follow the ACM sigconf format, and belong to one of these categories:
- Full research papers (up to 6 pages) present novel innovative approaches.
- 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.
- Tool demo papers (up to 3 pages) demonstrate a specific tool or extension to an existing tool that implement debugging techniques for models.
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.
Committees
Program Committee
- 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
Organizing committee
- 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
Contact
All questions about submissions should be emailed to Simon Van Mierlo (simon.vanmierlo@uantwerpen.be)