HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst

Session 7: Process Mining and Conformance 2

Process Mining in a Nutshell 3 THEORYREALITY

Process Mining in a Nutshell 4 THEORYREALITY REALITY REFLECTION LOGS

Session 7: Process Mining and Conformance 5

Conformance in a Nutshell 6 Log Model A B C D E A B B C Alignment E FitnessPrecision How much behavior of the log is captured by the model? How accurate is the model describing the log?

Conformance in the Large How easy is to diagnose a conformance problem here? How much time it takes? 7

Process Diagnosis like a Map 8

9

Decomposition Goals Intuitive and independent decomposition Hierarchy between components 10 SESERPST Single Entry Single Exit components Refined Process Structure Tree * Artem Polyvyanyy: Structuring Process Models. PhD Thesis. University of Potsdam (Germany), January 2012

Structural Decomposition 11

Interior, Boundary, Entry, and Exit nodes Given a subgraph and a node of it: Interior node: connected only to nodes of the subgraph. Boundary node: not interior Entry node: boundary where no incoming edge in subgraph or all outgoing edges in Exit node: boundary where no outgoing edge in subgraph or all incoming edges in 12

Example of SESE and RPST 13 SESE: set of edges which graph has a Single Entry node and a Single Exit node Refined Process Structure Tree (RPST) containing non overlapping SESEs Unique Modular Polynomial Time

Decomposed Conformance For each component in the RPST Project the Log Initial and Final marking of subnet Align projected log and subnet Compute fitness and precision 14 < t5 t6 t5t1 t2 t3 t3t7

Conformance and Markings Dependency The conclusions are strongly dependent on the markings 15 A B C A B C D E

Component inside a Cycle 16 X Y AB B CD A E

Depending Analysis Test components in isolation Black Box Multi-scenario responses Exploit properties Safe, bounds, … Acyclic Subclass of Petri Net Domain specific properties 17

Safe Sound Workflow Nets (1) Entry/Exit Places 18

Safe Sound Workflow Nets (2) Initial Marking = one token on the entry Final Marking = one token on the exit 19

Safe Sound Workflow Nets (3) Short-circuited the entry and exit with invisible transition Heuristic: all transitions of the component belong to T-invariants of the original net Best effort but good empirical results 20

Implementation 21 ProM 6 (

Implementation 22 ProM 6 (

Results 1 Component – 1h 15min 7 Components – 2min 23

Future Work Decomposed Conformance Checking Problem Not hierarchy but partitioning Reducing the time Non depending results 24 Conformance Checking in the Large: Partitioning and Topology J. Munoz-Gama, J. Carmona and W. van der Aalst Business Process Management (BPM) 2013

Conclusions Decomposition based on SESEs and RPST to aid on the diagnosis of conformance problems Strong dependency between the context selected and the results obtained. Case of Safe Sound Workflow Nets Implemented in ProM 6 25

Thank You