Inter-model consistency checking using triple graph grammars and linear optimization techniques
DOI10.1007/978-3-662-54494-5_11zbMATH Open1430.68028OpenAlexW2598750690MaRDI QIDQ5215906FDOQ5215906
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
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)
Cited In (5)
- Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
- Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking
- 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
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)
