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
International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS) <6, 2018, Gold Coast>
Conference Paper
Fraunhofer FOKUS ()

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.