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

Bidirectional model transformations are a way to keep two models synchronized and propagate changes in one model to the other one. Triple Graph Grammars (TGGs) are a rule-based approach to define consistency bidirectionally, with applications e.g. in the development of textual and visual languages. Although the underlying formalism is relatively uniform in different TGG tools, there are various TGG variants supporting different sets of language features, such as attribute conditions, (negative) application conditions, and multi-amalgamation. This makes it difficult to evaluate the expressiveness of a specific TGG tool, i.e. to check whether the tool supports all features required to specify a given consistency relation. In this paper, we provide an overview of the most common language features of TGGs. Based on this, we discuss different TGG variants formally and develop a classification of TGG approaches with respect to their expressiveness. We evaluate whether certain language features increase the expressiveness of TGGs or just improve the usability and simplify the specification, which can be important when choosing a software tool depending on the concrete problem at hand. Additionally, examples implemented in the TGG tool eMoflon::IBeX are discussed, which particularly illustrate how the various TGG variants differ in their expressiveness.

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