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:



Follow the instructions in QuickManual included in the package (requires a Java runtime).