Visualization of compliance violation in business process models

35Citations
Citations of this article
70Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Checking for compliance is of major importance in nowadays business. Several approaches have been proposed to address different 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 efficient 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) finds a match, the violating part of the process is shown to the user. © 2010 Springer-Verlag.

Cite

CITATION STYLE

APA

Awad, A., & Weske, M. (2010). Visualization of compliance violation in business process models. In Lecture Notes in Business Information Processing (Vol. 43 LNBIP, pp. 182–193). Springer Verlag. https://doi.org/10.1007/978-3-642-12186-9_17

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free