Development of Correct Graph Transformation Systems

DOI10.1007/978-3-540-87405-8_48zbMath1175.68230OpenAlexW2141017646MaRDI QIDQ3540429

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

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Initial Conflicts for Transformation Rules with Nested Application Conditions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification

Uses Software

• VAMPIRE
• TPTP
• Mace4
• Augur 2
• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph-based specification of access control policies
• Satisfiability of High-Level Conditions
• Weakest Preconditions for High-Level Programs
• Correctness of high-level transformation systems relative to nested conditions
• Graph Transformations
• An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
• Formal Methods in Software and Systems Modeling

This page was built for publication: Development of Correct Graph Transformation Systems