[fg-arc] CFP - Workshop on Debugging in Model-Driven Engineering (MDEbug 2018) - co-located with MODELS 2018

[Bousse, Erwan Gwendal]

-----------------------------------------------------------------------
Call for Papers:
2nd International Workshop on Debugging in Model-Driven Engineering
(MDEbug 2018)
co-located with MODELS 2018,
October 16 2018,
Copenhagen, Denmark
https://msdl.uantwerpen.be/conferences/MDEbug/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
---------------------------

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.

---------------------------
Submissions
---------------------------

Submitted papers must follow the ACM sigconf format (https://www.acm.or
g/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.

---------------------------
Important Dates
---------------------------

* Abstract submission deadline: July 10, 2018
* Paper submission deadline: July 17, 2018
* Notification of acceptance: August 17, 2018
* Workshop: October 16, 2018

---------------------------
Workshop Format
---------------------------

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. 

---------------------------
Organizers
---------------------------

* 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

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