Reasoning with graph constraints

DOI10.1007/s00165-009-0116-9zbMath1209.68381OpenAlexW2027274718MaRDI QIDQ973044

Hartmut Ehrig, Ulrike Prange, Fernando Orejas

Publication date: 28 May 2010

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

Full work available at URL: https://doi.org/10.1007/s00165-009-0116-9

zbMATH Keywords

graph transformationgraph constraintsvisual modelling

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Related Items (4)

Satisfiability of Constraint Specifications on XML Documents ⋮ Interactive and automated proofs for graph transformations ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ A navigational logic for reasoning about graph properties

Uses Software

• AGG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
• Graph-based specification of access control policies
• Fundamentals of algebraic graph transformation
• Resolution-Like Theorem Proving for High-Level Conditions
• Pattern-Based Model-to-Model Transformation
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Satisfiability of High-Level Conditions
• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Correctness of high-level transformation systems relative to nested conditions
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Foundations of Software Science and Computation Structures
• A Logic of Graph Constraints

This page was built for publication: Reasoning with graph constraints