Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Tue 22 Oct 2019 11:30 - 12:00 at Templars - Session 6: Modeling

When software models change, developers often fail in keeping them consistent. Automated support in repairing inconsistencies is state of the art. Yet, merely enumerating repairs for developers is not enough. A repair, for a given inconsistency, can as a side effect cause new unexpected inconsistencies (negative) or even fix other inconsistencies as well (positive). To make matters worse, repairing negative side effects can in turn cause further side effects. Current approaches do not detect and track such side effects in depth, which can increase developers’ effort and time spent in repairing inconsistencies. This paper presents an automated approach for detecting and tracking the consequences of repairs, i.e. side effects. It recursively explores in depth positive and negative side effects and identifies paths and cycles of repairs. This paper further ranks repairs based on side effect knowledge so that developers may quickly find the relevant ones.
Our approach and its tool implementation have been empirically assessed on 14 case studies from industry, academia, and GitHub. Results show that both positive and negative side effects occur frequently. A comparison with three versioned models showed the usefulness of our ranking strategy based on side effects. It showed that our approach’s top prioritized repairs are those that developers would indeed choose. A controlled experiment with 24 participants further highlights the significant influence of side effects and of our ranking of repairs on developers. Developers who received side effect knowledge chose far more repairs with positive side effects and far less with negative side effects, while being 12.3% faster, in contrast to developers who did not receive side effect knowledge.

Tue 22 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Session 6: ModelingSLE 2019 at Templars
11:00 - 11:30
Domain-specific model differencing in visual concrete syntaxBest Paper
SLE 2019
Manouchehr ZadahmadUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Omar AlamTrent University, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autonoma de Madrid
11:30 - 12:00
Detecting and Exploring Side Effects when Repairing Model Inconsistencies
SLE 2019
12:00 - 12:30
Higher-Level Mission Specification for Multiple Robots
SLE 2019
Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneChalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University