Inter-model consistency checking using triple graph grammars and linear optimization techniques

DOI10.1007/978-3-662-54494-5_11MaRDI QIDQ5215906zbMATHOpenAlexFDO

Authors Erhan Leblebici, A. Anjorin, Andy Schürr

Publication date 13 February 2020

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

Full work available at URL https://doi.org/10.1007/978-3-662-54494-5_11

zbMATH Keywords

linear optimizationtraceabilityconsistency checking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Schema compliant consistency management via triple graph grammars and integer linear programming
• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Construction of integrity preserving triple graph grammars
• Efficient model synchronization with precedence triple graph grammars
• Extended triple graph grammars with efficient and compatible graph translators

Cited in

(5)

• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Comprehensive systems: a formal foundation for multi-model consistency management
• Schema compliant consistency management via triple graph grammars and integer linear programming
• Graph-based specification and automated construction of ILP problems
• Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking

This page was built for publication: Inter-model consistency checking using triple graph grammars and linear optimization techniques

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