ProConformance - Conformance Checking of BPMN Process Models Against Event Logs
Given a process model in BPMN format and a process execution log in XES (or MXML) format, ProConformance provides you with a list of simple statements explaining what behavior is observed in the log but not allowed in the execution log, and vice versa, what behavior is allowed in the process model but never observed in the log. This output allows you to discover and diagnose compliance violations (e.g. invoice approvals without a prior delivery check) and other deviant behavior.
The technique behind ProConformance is documented in the following technical report:
- Luciano García-Bañuelos, Nick R.T.P. van Beest, Marlon Dumas and Marcello La Rosa: Complete and interpretable conformance checking of business processes, BPM Center Report BPM-15-14, BPMcenter.org, 2015.
Follow the instructions in QuickManual included in the package (requires a Java runtime).