Introduction
MDEbug 2018 is the second workshop focused on debugging in model driven engineering. Debugging can be defined as "locating the source of an observable efect". A system contains a defect if it does not behave according to its requirements. A defect is typically observed by a V&V technique, such as testing, runtime verification, model checking, etc. When these techniques reveal that the system contains a defect, its source needs to be located. In software engineering, debugging is typically accomplished using techniques that inspect and manipulate an execution trace that led up to a defect. When models are used to develop systems, however, developers often have to resort to ad-hoc methods to debug the system. A common technique consists of inspecting/debugging the code generated from models. This is not ideal, since the developer has to switch contexts and is required to understand the semantics of the underlying implementation language. Moreover, the relation of the generated code to the higher-level modelling concepts is often not clear; this can be compared to debugging a program using an assembler debugger. With the growing importance of model-driven engineering techniques to develop complex systems, researchers are increasing the reliability of systems by, among others, integrating verification and validation techniques. This workshop aims to address a related issue, by investigating how program debugging techniques can be transposed onto the modelling realm and whether new, specific ones need to be developed. In particular, model debugging techniques need to take into account the wide variety of models (in a wide variety of languages) that are produced during system development.
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
Call for paper
Important date
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:
- 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.
- 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.
- Debugging for languages whose semantics are defined for translational semantics.
- Usability of debuggers.
This year, we encourage submissions that focus on the notion of "stepping", as this concept has proven a crucial element for implementing 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 will be interesting to investigate the relation of stepping to formalism semantics and debugging operations.
Guidlines
Submission Guidelines
Submitted papers should belong to one of these paper categories:
- Full research papers (up to 10 pages) present novel innovative approaches.
- Position papers (up to 5 pages) present new ideas or early-stage research.
- Experience reports (up to 8 pages) present applications of an approach and extensively discusses the experiences of the researchers.
- Tool demo papers (up to 10 pages) demonstrate a specific tool or extension to an existing tool that implement debugging techniques for models.
All submissions should follow the LNCS format.
Submit your papers electronically via Easychair.
A post-workshop proceedings will be published by CEUR.
All Comments
Important Date
-
Conference Date
Oct 13
2018
toOct 16
2018
-
Jul 10 2018
Abstract Submission Deadline
-
Jul 17 2018
Draft paper submission deadline
-
Aug 17 2018
Draft Paper Acceptance Notification
-
Oct 16 2018
Registration deadline
Contact Information
- Simon Van Mierlo
- si******@uantwerpen.be
Submit Comment