Soundness of Decision-Aware Business Processes

With the recent release of the Decision Model and Notation (DMN) specification, standardized decision models can be designed to represent the decisions required for executing business processes. Outsourcing decision logic from process to decision models leads to a separation of concerns and therefore to decision-aware business processes. However, no exhaustive considerations regarding the soundness of the integration of the two types of models have been made so far. Classical soundness checking only looks at the control-flow of a process model. In this paper, we formally define soundness criteria for decision-aware processes that ensure that the process can continue after a decision has been taken, and that all activities following the decision can be executed. A scalable implementation and an analysis of models from participants of an online course on process and decision modeling as well as a from a BPM project of a large insurance company demonstrate the benefits of our contribution.