Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 12:00 - 12:20 at SPLASH-III - Chair(s): Laurence Tratt
Tue 17 Nov 2020 00:00 - 00:20 at SPLASH-III - Chair(s): Paddy Krishnan

In collaboration scenarios, we often encounter situations in
which semantically interrelated models are changed concurrently.
Concurrent model synchronization denotes the task
of keeping these models consistent by propagating changes
between them. This is challenging as changes can contradict
each other and thus be in conflict. A problem with current
synchronisation approaches is that they are often nondeterministic,
i.e., the order in which changes are propagated
is essential for the result. Furthermore, a common limitation
is that the involved models must have been in a consistent
state at some point, and that the applied changes are at least
valid for the domain in which they were made. We propose
a hybrid approach based on Triple Graph Grammars (TGGs)
and Integer Linear Programming (ILP) to overcome these issues:
TGGs are a grammar-based means that supplies us with
a superset of possible synchronization solutions, forming a
search space from which an optimum solution incorporating
user-defined preferences can be chosen by ILP. Therefore, the
proposed method combines configurability by comprising
expert knowledge via TGGs with the flexible input handling
of search-based techniques: By accepting arbitrary graph
structures as input models, the approach is tolerant towards
errors induced during the modelling process, i.e., it can cope
with input models which do not conform to their metamodel
or which cannot be generated by the TGG at hand. The
approach is implemented in the model transformation tool
eMoflon and evaluated regarding scalability for growing
model sizes and an increasing number of changes.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: SLE at SPLASH-III +12h
Chair(s): Laurence TrattKing's College London
11:00 - 11:20
Talk
SLE
Lars FritscheTU Darmstadt, Germany, Jens KosiolUniversity of Marburg, Germany, Adrian MöllerTU Darmstadt, Germany, Andy SchürrTU Darmstadt, Germany, Gabriele TaentzerUniversity of Marburg, Germany
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
SLE
Mikhail BarashUniversity of Bergen
Link to publication DOI Media Attached
11:40 - 12:00
Talk
SLE
Razan GhzouliChalmers University of Technology & University of Gothenburg, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch JohnsenUniversity of Oslo, Swaib DraguleChalmers | University of Gothenburg, Andrzej WąsowskiIT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
SLE
Nils Weidmann, Lars FritscheTU Darmstadt, Germany, Anthony AnjorinPaderborn University, Germany
Link to publication DOI Media Attached
23:00 - 00:20: SLE at SPLASH-III
Chair(s): Paddy KrishnanOracle Labs, Australia
23:00 - 23:20
Talk
SLE
Lars FritscheTU Darmstadt, Germany, Jens KosiolUniversity of Marburg, Germany, Adrian MöllerTU Darmstadt, Germany, Andy SchürrTU Darmstadt, Germany, Gabriele TaentzerUniversity of Marburg, Germany
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
SLE
Mikhail BarashUniversity of Bergen
Link to publication DOI Media Attached
23:40 - 00:00
Talk
SLE
Razan GhzouliChalmers University of Technology & University of Gothenburg, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch JohnsenUniversity of Oslo, Swaib DraguleChalmers | University of Gothenburg, Andrzej WąsowskiIT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
00:00 - 00:20
Talk
SLE
Nils Weidmann, Lars FritscheTU Darmstadt, Germany, Anthony AnjorinPaderborn University, Germany
Link to publication DOI Media Attached