Compliance Checking for Decision-Aware Process Models

Abstract

The business processes of an organization are often required to comply with domain-specific regulations. Such regulations can be checked based on the models of the respective processes. These models’ main focus is on the operational part of the process. However, also decisions play a major role in the execution behavior of processes, and they are expressed in separate decision models. In this paper, we investigate the influence of decision models on business process compliance checking. To this end, we formalize decision-aware processes as colored Petri nets, extract the state space, and check compliance rules using temporal logic model checking. The approach improves the quality of existing compliance checking by reducing the risk of false negatives. We provide a prototype and discuss advantages and disadvantages.