Development of Correct Graph Transformation Systems

DOI10.1007/978-3-540-87405-8_48MaRDI QIDQ3540429zbMATH OpenOpenAlexFDO

Authors Karl-Heinz Pennemann

Publication date 20 November 2008

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

Full work available at URL http://oops.uni-oldenburg.de/884/1/pendev09.pdf

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) 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
• Publication:5748897
• Proving correctness of logically decorated graph rewriting systems
• Graph transformation for specification and programming

Cites work

• 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?)
• 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
• 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)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• Proving correctness of logically decorated graph rewriting systems
• scientific article; zbMATH DE number 1693526 (Why is no real title available?)
• Correctness of high-level transformation systems relative to nested conditions
• Decidability of Resilience for Well-Structured Graph Transformation Systems
• scientific article; zbMATH DE number 7471695 (Why is no real title available?)
• scientific article; zbMATH DE number 7453090 (Why is no real title available?)
• scientific article; zbMATH DE number 7456048 (Why is no real title available?)
• scientific article; zbMATH DE number 7456057 (Why is no real title available?)
• Initial conflicts for transformation rules with nested application conditions
• Analysis of graph transformation systems: native vs translation-based techniques
• Resilience of well-structured graph transformation systems
• Lessons Learned from Building a Graph Transformation System

Describes a project that uses

Uses Software

• GROOVE
• Augur 2
• Mace4
• TPTP
• VAMPIRE

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)