Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Mon 21 Oct 2019 12:00 - 12:30 at Templars - Session 2: Grammars Chair(s): Elizabeth Scott

Consistency management is an important task in the context of Domain-Specific Language (DSL) development. It involves operations such as program (model) transformation, synchronisation, integration, and consistency checking, which are all tasks required to enable concurrent engineering using multiple DSLs. Even though consistency management is a well-researched topic, existing approaches either implement a fixed strategy for each consistency management operation, or do not scale for large models. This has been criticised in the literature, as practical applications require not only reasonable scalability with model size, but also unite multiple consistency management tasks within one tool. To raise the adaptability of such a tool to an appropriate level, a uniform way of performing these tasks is a desirable goal. In this paper, we propose an approach to consistency management that leverages a synergetic combination of Triple Graph Grammars and Integer Linear Programming. By modelling consistency management as an optimisation problem with a configurable objective function, we are able to uniformly address a wide range of consistency management operations. We show that our approach scales acceptably in practice, while still guaranteeing that a consistent solution is found if and only if one exists.

Mon 21 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Session 2: GrammarsSLE 2019 at Templars
Chair(s): Elizabeth ScottRoyal Holloway University of London
11:00 - 11:30
A Feature-Based Classification of Triple Graph Grammar Variants
SLE 2019
Nils WeidmannPaderborn University, Patrick RobrechtIndependent, Robin OppermannIndependent
11:30 - 12:00
Spectrum-Based Fault Localization for Context-Free Grammars
SLE 2019
Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
12:00 - 12:30
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
SLE 2019
Nils WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt