Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Model transformation with Triple Graph Grammars and Non-terminal symbols

 
: Silva, William Bombardelli da; Burek, Max; Schieferdecker, Ina; Hein, Christian

:

Artho, Cyrille (Ed.):
Formal Techniques for Safety-Critical Systems. 6th International Workshop, FTSCS 2018 : Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Cham: Springer International Publishing, 2019 (Communications in computer and information science 1008)
ISBN: 978-3-030-12987-3 (Print)
ISBN: 978-3-030-12988-0 (Online)
ISBN: 978-3-030-12989-7
S.161-177
International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS) <6, 2018, Gold Coast>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

Abstract
This work proposes a new graph grammar formalism, that introduces non-terminal symbols to triple graph grammars (TGG) and shows how to apply it to solving the model transformation problem. Our proposed formalism seems to suit code generation from models well, outperforms the standard TGG in the grammar size in one evaluated case and is able to express one transformation that we could not express with TGG. We claim, that such advantages make a formal specification written in our formalism easier to validate and less error-prone, what befits safety-critical systems specially well.

: http://publica.fraunhofer.de/dokumente/N-537620.html