Extended triple graph grammars with efficient and compatible graph translators

DOI10.1007/978-3-642-17322-6_8MaRDI QIDQ3059713zbMATH OpenOpenAlexFDO

Authors Felix Klar, Marius Lauder, Alexander Königs, Andy Schürr

Publication date 26 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17322-6_8

zbMATH Keywords

bidirectional model transformationdangling edge conditionnegative application conditionstriple graph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• 15 Years of Triple Graph Grammars
• Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
• Formal analysis of model transformations based on triple graph grammars
• Construction of integrity preserving triple graph grammars
• Efficient model synchronization with precedence triple graph grammars

Cites work

• 15 Years of Triple Graph Grammars
• Explicit State Model Checking for Graph Grammars
• Formal Methods in Software and Systems Modeling
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Structural and behavioural compatibility of graphical service specifications

Cited in

(8)

• Schema compliant consistency management via triple graph grammars and integer linear programming
• Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
• Construction of integrity preserving triple graph grammars
• Controlling reuse in pattern-based model-to-model transformations
• 15 Years of Triple Graph Grammars
• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• Specification of graph translators with triple graph grammars

This page was built for publication: Extended triple graph grammars with efficient and compatible graph translators

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