Development of Correct Graph Transformation Systems
From MaRDI portal
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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Correctness of high-level transformation systems relative to nested conditions
- Verifying graph transformation systems with description logics
- scientific article; zbMATH DE number 4182847
- Proving correctness of logically decorated graph rewriting systems
- Graph transformation for specification and programming
Cites work
- An algorithm for approximating the satisfiability problem of high-level conditions
- Correctness of high-level transformation systems relative to nested conditions
- Formal Methods in Software and Systems Modeling
- Graph Transformations
- Graph-based specification of access control policies
- scientific article; zbMATH DE number 1701353 (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?)
- Satisfiability of High-Level Conditions
- Theory of constraints and application conditions: from graphs to high-level structures
- Weakest Preconditions for High-Level Programs
Cited in
(14)- scientific article; zbMATH DE number 1693526 (Why is no real title available?)
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Lessons Learned from Building a Graph Transformation System
- Correctness of high-level transformation systems relative to nested conditions
- Analysis of graph transformation systems: native vs translation-based techniques
- Rule-based graph repair
- scientific article; zbMATH DE number 7456048 (Why is no real title available?)
- scientific article; zbMATH DE number 7456057 (Why is no real title available?)
- Conditional bisimilarity for reactive systems
- Initial conflicts for transformation rules with nested application conditions
- Proving correctness of logically decorated graph rewriting systems
- Decidability of Resilience for Well-Structured Graph Transformation Systems
- Resilience of well-structured graph transformation systems
This page was built for publication: Development of Correct Graph Transformation Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540429)
