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

Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently.
To determine whether such concurrent model changes conflict with each other and to resolve these conflicts taking domain- or user-specific preferences into account is highly challenging.
In this paper, we present a framework for concurrent model synchronization algorithms based on Triple Graph Grammars (TGGs).
TGGs specify the consistency of correlated models using grammar rules; these rules can be used to derive different consistency restoration operations.
Using TGGs, we infer a causal dependency relation for model elements that enables us to detect conflicts non-invasively.
Different kinds of conflicts are detected first and resolved by the subsequent conflict resolution process.
Users configure the overall synchronization process by orchestrating the application of consistency restoration fragments according to several conflict resolution strategies to achieve individual synchronization goals.
As proof of concept, we have implemented this framework in the model transformation tool eMoflon.
Our initial evaluation shows that the runtime of our presented approach scales with the size of model changes and conflicts, rather than model size.

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
SLE at SPLASH-III +12h
Chair(s): Laurence Tratt King's College London
11:00
20m
Talk
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
SLE
Lars Fritsche TU Darmstadt, Germany, Jens Kosiol University of Marburg, Germany, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany, Gabriele Taentzer University of Marburg, Germany
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Example-Driven Software Language Engineering
SLE
Mikhail Barash University of Bergen
Link to publication DOI Media Attached
11:40
20m
Talk
Behavior Trees in Action: A Study of Robotics Applications
SLE
Razan Ghzouli Chalmers University of Technology & University of Gothenburg, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch Johnsen University of Oslo, Swaib Dragule Chalmers | University of Gothenburg, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
SLE
Nils Weidmann , Lars Fritsche TU Darmstadt, Germany, Anthony Anjorin Paderborn University, Germany
Link to publication DOI Media Attached
23:00 - 00:20
SLE at SPLASH-III
Chair(s): Paddy Krishnan Oracle Labs, Australia
23:00
20m
Talk
A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
SLE
Lars Fritsche TU Darmstadt, Germany, Jens Kosiol University of Marburg, Germany, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany, Gabriele Taentzer University of Marburg, Germany
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Example-Driven Software Language Engineering
SLE
Mikhail Barash University of Bergen
Link to publication DOI Media Attached
23:40
20m
Talk
Behavior Trees in Action: A Study of Robotics Applications
SLE
Razan Ghzouli Chalmers University of Technology & University of Gothenburg, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch Johnsen University of Oslo, Swaib Dragule Chalmers | University of Gothenburg, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
SLE
Nils Weidmann , Lars Fritsche TU Darmstadt, Germany, Anthony Anjorin Paderborn University, Germany
Link to publication DOI Media Attached