Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

DOI10.1007/978-3-030-45234-6_16MaRDI QIDQ5039538zbMATH OpenOpenAlexFDO

Authors Nils Weidmann, A. Anjorin

Publication date 13 October 2022

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-45234-6_16

zbMATH Keywords

application conditionsinteger linear programmingtriple graph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Integer programming (90C10)

Recommendations

• Schema compliant consistency management via triple graph grammars and integer linear programming
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• Incremental concurrent model synchronization using triple graph grammars
• Construction of integrity preserving triple graph grammars
• A schematic and grammatical correspondence method for the specification of consistent distributed data models
• Integration of graph constraints into graph grammars

Cites work

• Construction of integrity preserving triple graph grammars
• Extended triple graph grammars with efficient and compatible graph translators
• Fundamentals of algebraic graph transformation
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• Leveraging incremental pattern matching techniques for model synchronisation
• Multi-amalgamated triple graph grammars

Cited in

(9)

• Schema compliant consistency management via triple graph grammars and integer linear programming
• A schematic and grammatical correspondence method for the specification of consistent distributed data models
• Construction of integrity preserving triple graph grammars
• Efficient model synchronization with precedence triple graph grammars
• Certified Graph View Maintenance with Regular Datalog
• Leveraging incremental pattern matching techniques for model synchronisation
• Inter-model consistency checking using triple graph grammars and linear optimization techniques
• Advanced consistency restoration with higher-order short-cut rules
• Advanced model consistency restoration with higher-order short-cut rules

This page was built for publication: Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

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