A Logic of Graph Constraints

DOI10.1007/978-3-540-78743-3_14zbMath1171.68516OpenAlexW1489136590MaRDI QIDQ5460000

Ulrike Prange, Fernando Orejas, Hartmut Ehrig

Publication date: 2 May 2008

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78743-3_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

On the Specification and Verification of Model Transformations ⋮ Satisfiability of Constraint Specifications on XML Documents ⋮ Specifying graph languages with type graphs ⋮ Symbolic graphs for attributed graph constraints ⋮ Unnamed Item ⋮ Attributed Graph Constraints ⋮ Resolution-Like Theorem Proving for High-Level Conditions ⋮ Pattern-Based Model-to-Model Transformation ⋮ Reasoning with graph constraints ⋮ Correctness of high-level transformation systems relative to nested conditions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamentals of algebraic graph 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
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Formal Methods in Software and Systems Modeling

This page was built for publication: A Logic of Graph Constraints