Visualization of Compliance Violation Using Antipatterns

Abstract

Checking for compliance is of major importance in nowadays business. Several approaches have been proposed to address dierent aspects of compliance checking. One of the important aspects of compliance checking is to ensure that business activities will be executed in a certain order. In a previous work, we have presented a formal approach for ecient compliance checking based on model checking technology. A limitation of that approach and of similar approaches is the lack of explanation about how violations could occur. In this paper we resolve this limitation by exploiting the notion of patterns/anti patterns. Execution ordering compliance rules are expressed as BPMN-Q queries. For each query a set of anti pattern queries is automatically derived and checked against process models as well. When a violation (an anti pattern) nds a match, the violating part of the process is shown to the user so that corrective actions can be taken.