Business Process Modeling and Analysis (2013)

Week 3

3.3 Soundness Explained

This video belongs to the openHPI course Business Process Modeling and Analysis (2013). Do you want to see more?

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>

Go to overview