Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Solution to the Flowgraphs Case Study using Triple Graph Grammars and
  eMoflon   After 20 years of Triple Graph Grammars (TGGs) and numerous actively
maintained implementations, there is now a need for challenging examples and
success stories to show that TGGs can be used for real-world bidirectional
model transformations. Our primary goal in recent years has been to increase
the expressiveness of TGGs by providing a set of pragmatic features that allow
a controlled fallback to programmed graph transformations and Java.
  Based on the Flowgraphs case study of the Transformation Tool Contest (TTC
2013), we present (i) attribute constraints used to express complex
bidirectional attribute manipulation, (ii) binding expressions for specifying
arbitrary context relationships, and (iii) post-processing methods as a black
box extension for TGG rules. In each case, we discuss the enabled trade-off
between guaranteed formal properties and expressiveness. Our solution,
implemented with our metamodelling and model transformation tool eMoflon
(www.emoflon.org), is available as a virtual machine hosted on Share.

2
The categories of this paper are: math
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph