Verification problems in conceptual workflow specifications

DOI10.1016/S0169-023X(97)00032-3MaRDI QIDQ4397074zbMATH OpenFDO

Authors Arthur H. M. ter Hofstede, M. E. Orlowska, Jagath C. Rajapakse

Publication date 30 June 1998

Published in Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0169-023X(97)00032-3

zbMATH Keywords

computational complexityverificationworkflow

Mathematics Subject Classification ID

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

Recommendations

• Verification of workflow task structures: A Petri-net-based approach
• Diagnosing workflow processes using Woflan
• Automatic workflow verification and generation
• Verification of workflow nets
• Automated Technology for Verification and Analysis

Cited in

(7)

• Verification of Vortex workflows
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• COMPLETENESS AND REALIZABILITY: CONDITIONS FOR AUTOMATIC GENERATION OF WORKFLOWS
• Formal verification of e-services and workflows
• scientific article; zbMATH DE number 1990799 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Confluence for process verification

This page was built for publication: Verification problems in conceptual workflow specifications

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