Refine
Year of publication
Document Type
- Article (14)
- Monograph/Edited Volume (5)
- Postprint (1)
- Preprint (1)
Language
- English (21)
Is part of the Bibliography
- yes (21)
Keywords
- nested graph conditions (3)
- Graph transformation (2)
- Nested graph conditions (2)
- graph transformation (2)
- verschachtelte Graphbedingungen (2)
- Algebraic methods (1)
- Application (1)
- Attributed graph transformation (1)
- Attributed graphs (1)
- Behavioral equivalence and refinement (1)
- Bisimulation (1)
- Bisimulation and simulation (1)
- Consistency (1)
- Critical pair analysis (1)
- Critical pair analysis (CPA) (1)
- Critical pairs (1)
- Delta preservation (1)
- Description framework (1)
- Discrimination Networks (1)
- Erfüllbarkeitsanalyse (1)
- Formal modelling (1)
- Formal verification of behavior preservation (1)
- Graph databases (1)
- Graph logic (1)
- Graph logics (1)
- Graph queries (1)
- Graph repair (1)
- Graph transformation (double pushout approach) (1)
- Graph-Constraints (1)
- Graph-basierte Suche (1)
- Graphreparatur (1)
- Graphtransformation (1)
- Graphtransformationssysteme (1)
- Inheritance (1)
- Initial conflicts (1)
- Inkrementelle Graphmustersuche (1)
- Institutions (1)
- Intent (1)
- Invariant checking (1)
- Invariant-Checking (1)
- Konsistenzrestauration (1)
- M-adhesive categories (1)
- M-adhesive category with NACs (1)
- M-adhesive transformation systems (1)
- Model generation (1)
- Model repair (1)
- Model transformation (1)
- Model-driven (1)
- Modellerzeugung (1)
- Modellreparatur (1)
- Modelltransformationen (1)
- Navigational logics (1)
- Nested Graph Conditions (1)
- Parallel independence (1)
- Property (1)
- Relational model transformation (1)
- Simulation (1)
- Specification (1)
- Tableau method (1)
- Tableaumethode (1)
- Transformationsebene (1)
- Triple graph grammars (1)
- Triple-Graph-Grammatiken (1)
- Typed attributed graph transformation (1)
- Verhaltensabstraktion (1)
- Verhaltensbewahrung (1)
- Verhaltensverfeinerung (1)
- Verhaltensäquivalenz (1)
- Verification (1)
- behavior preservation (1)
- behavioral abstraction (1)
- behavioral equivalenc (1)
- behavioral refinement (1)
- bisimulation (1)
- categories (1)
- concurrent graph rewriting (1)
- conditions (1)
- conflicts and dependencies in (1)
- confluence (1)
- consistency restoration (1)
- critical pairs (1)
- discrimination networks (1)
- distributed systems (1)
- embedding (1)
- engineering (1)
- grammars (1)
- graph constraints (1)
- graph languages (1)
- graph queries (1)
- graph repair (1)
- graph replacement categories (1)
- graph transformation systems (1)
- graph-transformations (1)
- incremental graph pattern matching (1)
- invariant checking (1)
- lazy transformation (1)
- level-replacement systems (1)
- local confluence (1)
- model (1)
- model generation (1)
- model repair (1)
- model transformation (1)
- nested application conditions (1)
- programs (1)
- relational model transformation (1)
- relationale Modelltransformationen (1)
- restoration (1)
- satisfiabilitiy solving (1)
- semantics preservation (1)
- simulation (1)
- symbolic graph transformation (1)
- synchronization (1)
- tableau method (1)
- transformation level (1)
- triple graph grammars (1)
Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.