Dataset Complete Regulatory Compliance

Dataset related to the evaluation of the paper "Complete and Cross-Instance Regulatory Compliance Checking of Business Process Event Logs" by Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto and Hannah Burke

Contents

• Example rules formatted for our event log compliance tool and explanations of their functionality
• Explanation and examples of how Update Functions are defined
• Grammars for rule specification file and log metadata file
• Compliance evaluation of event logs from the BPI challenges
  • BPI2016
    • Rule templates and corresponding violating traces identified by our tool
  • BPI2019
    • Rule templates and corresponding violating traces identified by our tool
    • Comparison to winning submission, BPIC19 (DRP)
    • Comparison to implementation of same rules in LogFire
• Results for a scalability analysis of our tool against the size of event log and number of obligations, derived from these BPI logs and rule templates

License

Distributed under the MIT License. See LICENSE.txt for more information.

Contact

Heerko Groefsema - h.groefsema [at] rug.nl

Nick van Beest - nick.vanbeest [at] data61.csiro.au

Dataset Link: https://github.com/rug-ds-lab/2022-Groefsema-Dataset-Reg-Comp

(back to top)