Reasoning with graph constraints

DOI10.1007/S00165-009-0116-9zbMATH Open1209.68381OpenAlexW2027274718MaRDI QIDQ973044FDOQ973044

Fernando Orejas, Hartmut Ehrig, Ulrike Prange

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

Recommendations

• A Logic of Graph Constraints
• Attributed Graph Constraints
• Integration of graph constraints into graph grammars
• Symbolic graphs for attributed graph constraints
• Theory of constraints and application conditions: from graphs to high-level structures

zbMATH Keywords

graph transformationgraph constraintsvisual modelling

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (14)

• A navigational logic for reasoning about graph properties
• Title not available (Why is that?)
• Attributed Graph Constraints
• On graph reasoning
• A reasoning system for satisfiability of diagrammatic specifications
• Title not available (Why is that?)
• A Decidable Constraint Diagram Reasoning System
• Satisfiability of Constraint Specifications on XML Documents
• A formal approach to the specification and transformation of constraints in MDE
• Interactive and automated proofs for graph transformations
• A Logic of Graph Constraints
• Discovering implied constraints in precedence graphs with alternatives
• Title not available (Why is that?)
• Constraint Programming Models for Graceful Graphs

Uses Software

• AGG

This page was built for publication: Reasoning with graph constraints

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