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.
Mendeley saves you time finding and organizing research
There are no full text links
Choose a citation style from the tabs below