Symbolic graphs for attributed graph constraints
From MaRDI portal
Publication:631573
DOI10.1016/J.JSC.2010.09.009zbMATH Open1298.68121OpenAlexW2025079954MaRDI QIDQ631573FDOQ631573
Authors: Fernando Orejas 
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
Recommendations
Cites Work
- Correctness of high-level transformation systems relative to nested conditions
- Fundamentals of algebraic graph transformation
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Pattern-Based Model-to-Model Transformation
- Graph Transformations
- Adhesive and quasiadhesive categories
- A Logic of Graph Constraints
- Graph-based specification of access control policies
- Title not available (Why is that?)
- Attributed Graph Constraints
- Resolution-Like Theorem Proving for High-Level Conditions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Delaying Constraint Solving in Symbolic Graph Transformation
Cited In (24)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- A navigational logic for reasoning about graph properties
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- Interval probabilistic timed graph transformation systems
- Probabilistic Metric Temporal Graph Logic
- Attributed Graph Constraints
- A reasoning system for satisfiability of diagrammatic specifications
- Satisfiability of Constraint Specifications on XML Documents
- Well-structured graph transformation systems
- Theorem proving graph grammars with attributes and negative application conditions
- Lazy graph transformation
- A structural approach to graph transformation based on symmetric Petri nets
- A logical approach to graph databases
- Delaying Constraint Solving in Symbolic Graph Transformation
- Reasoning with graph constraints
- Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
- Compositional analysis of probabilistic timed graph transformation systems
- Compositional analysis of probabilistic timed graph transformation systems
- Attribute handling for generating preconditions from graph constraints
- Towards attributed graphs in Groove (work in progress)
- Unfolding Symbolic Attributed Graph Grammars
- Graph attribution through sub-graphs
This page was built for publication: Symbolic graphs for attributed graph constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631573)
