Business Processes: Modeling, Simulation, ExecutionProf. Dr. Mathias Weske
This video belongs to the openHPI course Business Processes: Modeling, Simulation, Execution. Do you want to see more? Enroll yourself for free!

3.3 Soundness Explained

Time effort: approx. 16 minutes
You are using our new video player. If you experience any problems, please contact the helpdesk. You can always switch to the old player.

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>