Visualization of Compliance Violation Using Anti-patterns Export

@techreport{tr/Awad/visualizingViolations, 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.}, author = {Awad, Ahmed and Weske, Mathias}, citeulike-article-id = {4209462}, citeulike-linkout-0 = {http://bpt.hpi.uni-potsdam.de/pub/Public/BptPublications/VoV.pdf}, institution = {Business Process Technology Group at Hasso Platter Institute at the University of Potsdam}, keywords = {bpmn, bpmn-q, data-perspective}, location = {Potsdam, Germany}, number = {02-2009}, posted-at = {2009-03-23 14:14:39}, priority = {0}, series = {BPT Technical Report 02-2009}, title = {Visualization of Compliance Violation Using Anti-patterns}, url = {http://bpt.hpi.uni-potsdam.de/pub/Public/BptPublications/VoV.pdf}, year = {2009} }

TY - RPRT ID - tr/Awad/visualizingViolations L3 - citeulike-article-id:4209462 N2 - 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. CY - Potsdam, Germany IS - 02-2009 SE - BPT Technical Report 02-2009 TI - Visualization of Compliance Violation Using Anti-patterns KW - bpmn KW - bpmn-q KW - data-perspective AU - Awad, Ahmed AU - Weske, Mathias PY - 2009/// UR - http://bpt.hpi.uni-potsdam.de/pub/Public/BptPublications/VoV.pdf ER -