A Logic of Graph Constraints

DOI10.1007/978-3-540-78743-3_14MaRDI QIDQ5460000zbMATH OpenOpenAlexFDO

Authors Fernando Orejas, Hartmut Ehrig, Ulrike Prange

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

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

Recommendations

• Reasoning with graph constraints
• Attributed Graph Constraints
• Theory of constraints and application conditions: from graphs to high-level structures
• Integration of graph constraints into graph grammars
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations

Cites work

• A Temporal Graph Logic for Verification of Graph Transformation Systems
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Formal Methods in Software and Systems Modeling
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 3988733 (Why is no real title available?)
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Paramodulation-based theorem proving
• Satisfiability of High-Level Conditions

Cited in

(18)

• Integration of graph constraints into graph grammars
• scientific article; zbMATH DE number 1617314 (Why is no real title available?)
• Satisfiability of Constraint Specifications on XML Documents
• On the Specification and Verification of Model Transformations
• A Decidable Constraint Diagram Reasoning System
• Constraint Programming Models for Graceful Graphs
• 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
• scientific article; zbMATH DE number 1361480 (Why is no real title available?)
• Generalized constraint diagrams and the classical decision problem
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
• Discovering implied constraints in precedence graphs with alternatives
• A foundation for functional graph programs: the \textit{graph transformation control algebra} (GTA)
• Symbolic graphs for attributed graph constraints
• A reasoning system for satisfiability of diagrammatic specifications
• Reasoning with graph constraints

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

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