Specification of graph translators with triple graph grammars

DOI10.1007/3-540-59071-4_45MaRDI QIDQ6184366zbMATH OpenOpenAlexFDO

Authors Andy Schürr

Publication date 5 January 2024

Published in Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59071-4_45

Mathematics Subject Classification ID

Data structures (68P05) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Non-materialized Model View Specification with Triple Graph Grammars
• Construction of integrity preserving triple graph grammars
• Extended triple graph grammars with efficient and compatible graph translators
• Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
• 15 Years of Triple Graph Grammars

Cites work

• scientific article; zbMATH DE number 4155917 (Why is no real title available?)
• scientific article; zbMATH DE number 3819112 (Why is no real title available?)
• scientific article; zbMATH DE number 177439 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• Pair grammars, graph languages and string-to-graph translations

Cited in

(9)

• scientific article; zbMATH DE number 7450015 (Why is no real title available?)
• 15 Years of Triple Graph Grammars
• Termination and expressiveness of execution strategies for networks of bidirectional model transformations
• Single pushout rewriting in comprehensive systems
• Advanced consistency restoration with higher-order short-cut rules
• Translating controlled graph grammars to ordinary graph grammars
• Constructing constraint-preserving interaction schemes in adhesive categories
• scientific article; zbMATH DE number 7453090 (Why is no real title available?)
• Advanced model consistency restoration with higher-order short-cut rules

This page was built for publication: Specification of graph translators with triple graph grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184366)