Self-paced course

Business Process Modeling and Analysis (2013)

Offered by Prof. Dr. Mathias Weske

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

3.3 Soundness Explained

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>