Attributed Graph Constraints

DOI10.1007/978-3-540-87405-8_19MaRDI QIDQ3540405zbMATH OpenOpenAlexFDO

Authors Fernando Orejas

Publication date 20 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_19

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

• A Logic of Graph Constraints
• Reasoning with graph constraints
• Symbolic graphs for attributed graph constraints
• Lazy graph transformation
• Graph Transformations

Cites work

• 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?)
• A Logic of Graph Constraints
• A functorial framework for constraint normal logic programming
• Formal Methods in Software and Systems Modeling
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Paramodulation-based theorem proving
• Satisfiability of High-Level Conditions
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Cited in

(10)

• Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
• Resolution-Like Theorem Proving for High-Level Conditions
• Lazy graph transformation
• Reasoning with graph constraints
• A Logic of Graph Constraints
• Symbolic graphs for attributed graph constraints
• On the Specification and Verification of Model Transformations
• Attribute handling for generating preconditions from graph constraints
• Towards attributed graphs in Groove (work in progress)
• Fundamental Approaches to Software Engineering

This page was built for publication: Attributed Graph Constraints

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