A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows

DOI10.1007/978-3-540-89985-3_36zbMath1183.68381OpenAlexW86661953MaRDI QIDQ3628416

Vahid Rafe, Adel T. Rahmani

Publication date: 20 May 2009

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89985-3_36

zbMATH Keywords

verificationmodel checkinggraph transformationworkflow modeling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• NuSMV
• Bogor
• GROOVE

Cites Work

• Unnamed Item
• NuSMV: A new symbolic model checker

This page was built for publication: A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows