Visualization of Compliance Violation Using Antipatterns

  • Awad A
  • Weske M
  • 12


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


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.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

There are no full text links


  • Ahmed Awad

  • Mathias Weske

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free