TU Darmstadt / ULB / TUbiblio

Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation

Leblebici, Erhan and Anjorin, Anthony and Schürr, Andy and Taentzer, Gabriele :
Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation.
[Online-Edition: http://www.sciencedirect.com/science/article/pii/S1045926X15...]
In: Journal of Visual Languages and Computing
[Conference or Workshop Item] , (2016)

Official URL: http://www.sciencedirect.com/science/article/pii/S1045926X15...

Abstract

Abstract Visual languages (VLs) facilitate software development by not only supporting communication and abstraction, but also by generating various artifacts such as code and reports from the same high-level specification. VLs are thus often translated to other formalisms, in most cases with bidirectionality as a crucial requirement to, e.g., support re-engineering of software systems. Triple Graph Grammars (TGGs) are a rule-based language to specify consistency relations between two (visual) languages from which bidirectional translators are automatically derived. TGGs are formally founded but are also limited in expressiveness, i.e., not all types of consistency can be specified with TGGs. In particular, 1-to-n correspondence between elements depending on concrete input models cannot be described. In other words, a universal quantifier over certain parts of a TGG rule is missing to generalize consistency to arbitrary size. To overcome this, we transfer the well-known multi-amalgamation concept from algebraic graph transformation to TGGs, allowing us to mark certain parts of rules as repeated depending on the translation context. Our main contribution is to derive TGG-based translators that comply with this extension. Furthermore, we identify bad smells on the usage of multi-amalgamation in TGGs, prove that multi-amalgamation increases the expressiveness of TGGs, and evaluate our tool support.

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Leblebici, Erhan and Anjorin, Anthony and Schürr, Andy and Taentzer, Gabriele
Title: Multi-amalgamated triple graph grammars: Formal foundation and application to visual language translation
Language: English
Abstract:

Abstract Visual languages (VLs) facilitate software development by not only supporting communication and abstraction, but also by generating various artifacts such as code and reports from the same high-level specification. VLs are thus often translated to other formalisms, in most cases with bidirectionality as a crucial requirement to, e.g., support re-engineering of software systems. Triple Graph Grammars (TGGs) are a rule-based language to specify consistency relations between two (visual) languages from which bidirectional translators are automatically derived. TGGs are formally founded but are also limited in expressiveness, i.e., not all types of consistency can be specified with TGGs. In particular, 1-to-n correspondence between elements depending on concrete input models cannot be described. In other words, a universal quantifier over certain parts of a TGG rule is missing to generalize consistency to arbitrary size. To overcome this, we transfer the well-known multi-amalgamation concept from algebraic graph transformation to TGGs, allowing us to mark certain parts of rules as repeated depending on the translation context. Our main contribution is to derive TGG-based translators that comply with this extension. Furthermore, we identify bad smells on the usage of multi-amalgamation in TGGs, prove that multi-amalgamation increases the expressiveness of TGGs, and evaluate our tool support.

Journal or Publication Title: Journal of Visual Languages and Computing
Title of Book: Journal of Visual Languages and Computing
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
18 Department of Electrical Engineering and Information Technology
Date Deposited: 20 Mar 2017 14:30
Official URL: http://www.sciencedirect.com/science/article/pii/S1045926X15...
Export:

Optionen (nur für Redakteure)

View Item View Item