Access Restriction

Author Ramezani, Elham ♦ Fahland, Dirk ♦ Aalst, Wil M. P. Van Der
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Compliance Checking ♦ Diagnostic Information ♦ Controlled Manner ♦ Prom Plug-in ♦ Compliant Behavior ♦ Observed Behavior ♦ Compliance Rule ♦ Comprehensive Compliance ♦ Petrinet Pattern ♦ Operational Process ♦ Petri-net Pattern ♦ Control Flow ♦ Event Log ♦ Various Real-life Event Log ♦ Data-based Compliance Rule ♦ Intuitive Diagnostics ♦ Corresponding Pattern ♦ Business Process Management
Abstract Compliance checking is gaining importance as today’s organizations need to show that operational processes are executed in a controlled manner while satisfying predefined (legal) requirements. Deviations may be costly and expose the organization to severe risks. Compliance checking is of growing importance for the business process management and auditing communities. This paper presents a comprehensive compliance checking approach based on Petrinet patterns and alignments. 55 control flow oriented compliance rules, distributed over 15 categories, have been formalized in terms of Petri-net patterns describing the compliant behavior. To check compliance with respect to a rule, the event log describing the observed behavior is aligned with the corresponding pattern. The approach is flexible (easytoaddnewpatterns),robust (the selected alignment between log and pattern is guaranteed to be optimal), and allows for both a quantification of compliance and intuitive diagnostics explaining deviations at the level of alignments. The approach can also handle resource-based and data-based compliance rules and is supported by ProM plug-ins. The applicability of the approach has been evaluated using various real-life event logs.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2012-01-01