课程已归档

Business Processes: Modeling, Simulation, Execution

提供者 Prof. Dr. Mathias Weske

本视频属于openHPI课程Business Processes: Modeling, Simulation, Execution。你想看更多吗?

3.3 Soundness Explained

时间效果趋于.16 分钟

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.

关于这个视频


<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>