Schema compliant consistency management via triple graph grammars and integer linear programming

DOI10.1007/S00165-021-00557-0OpenAlexW4249182339MaRDI QIDQ2065551

Anthony Anjorin, Nils Weidmann

Publication date: 11 January 2022

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00557-0

zbMATH Keywords

integer linear programmingmodel-driven engineeringgraph constraintstriple graph grammarsapplication conditions

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Fundamentals of algebraic graph transformation
• Construction of Integrity Preserving Triple Graph Grammars
• Extended Triple Graph Grammars with Efficient and Compatible Graph Translators
• Correctness of high-level transformation systems relative to nested conditions
• Leveraging Incremental Pattern Matching Techniques for Model Synchronisation
• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Graph Consistency as a Graduated Property
• Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

This page was built for publication: Schema compliant consistency management via triple graph grammars and integer linear programming