Self-paced course

Business Processes: Modeling, Simulation, Execution

Offered by Prof. Dr. Mathias Weske

This video belongs to the openHPI course Business Processes: Modeling, Simulation, Execution. Do you want to see more?

3.3 Soundness Explained

Time effort: approx. 16 minutes

An error occurred while loading the video player, or it takes a long time to initialize. You can try clearing your browser cache. Please try again later and contact the helpdesk if the problem persists.

About this video


<p>A process model is sound, if every activity can participate in a process instance and it is ensured that the process always terminates properly. Behavioral anomalies such as deadlocks or livelocks violate soundness. Therefore, a number of rules help avoiding unsound process models.</p>