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

Displayed time zone: Beirut change

11:00 - 12:30
Session 2: GrammarsSLE 2019 at Templars
Chair(s): Elizabeth Scott Royal Holloway University of London
11:00
30m
Talk
A Feature-Based Classification of Triple Graph Grammar Variants
SLE 2019
Nils Weidmann Paderborn University, Patrick Robrecht Independent, Robin Oppermann Independent
11:30
30m
Talk
Spectrum-Based Fault Localization for Context-Free Grammars
SLE 2019
Moeketsi Raselimo Stellenbosch University, Bernd Fischer Stellenbosch University
12:00
30m
Talk
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
SLE 2019
Nils Weidmann Paderborn University, Anthony Anjorin Paderborn University, Erhan Leblebici Technische Universität Darmstadt, Andy Schürr Technische Universität Darmstadt