#soundness

7 notes.

• Block Structure (in Process Models)BPM/wiki/concepts/block-structure
• Dead Activity (Process Model Behavioural Anomaly)BPM/wiki/concepts/dead-activity
• Deadlock (Process Model Behavioural Anomaly)BPM/wiki/concepts/deadlock
• Lack of Synchronization (Process Model Behavioural Anomaly)BPM/wiki/concepts/lack-of-synchronization
• Livelock (Process Model Behavioural Anomaly)BPM/wiki/concepts/livelock
• Process Model Quality & Soundness — Evaluation Guide for BPMN Models from Qualitative InterviewsBPM/wiki/syntheses/process-model-quality-and-soundness-evaluation-guide
• Verification of Workflow NetsBPM/wiki/sources/1998-vanderaalst-verification-of-workflow-nets