Symbolic graphs for attributed graph constraints
From MaRDI portal
Publication:631573
DOI10.1016/j.jsc.2010.09.009zbMath1298.68121OpenAlexW2025079954MaRDI QIDQ631573
Publication date: 14 March 2011
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2010.09.009
Related Items (12)
Theorem proving graph grammars with attributes and negative application conditions ⋮ Satisfiability of Constraint Specifications on XML Documents ⋮ Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic ⋮ Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ A navigational logic for reasoning about graph properties ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Well-structured graph transformation systems ⋮ A structural approach to graph transformation based on symmetric Petri nets ⋮ Compositional analysis of probabilistic timed graph transformation systems ⋮ Interval probabilistic timed graph transformation systems
Cites Work
- Graph-based specification of access control policies
- Fundamentals of algebraic graph transformation
- Attributed Graph Constraints
- Resolution-Like Theorem Proving for High-Level Conditions
- Pattern-Based Model-to-Model Transformation
- Correctness of high-level transformation systems relative to nested conditions
- Delaying Constraint Solving in Symbolic Graph Transformation
- Graph Transformations
- Adhesive and quasiadhesive categories
- A Logic of Graph Constraints
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Symbolic graphs for attributed graph constraints
