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

2. Session 7: Process Mining and Conformance 2

3. Process Mining in a Nutshell 3 THEORYREALITY

4. Process Mining in a Nutshell 4 THEORYREALITY REALITY REFLECTION LOGS

5. Session 7: Process Mining and Conformance 5

6. 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?

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

8. Process Diagnosis like a Map 8

9. 9

10. 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

11. Structural Decomposition 11

12. 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

13. 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

14. 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

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

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

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

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

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

20. 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

21. Implementation 21 ProM 6 (http://www.promtools.org)

22. Implementation 22 ProM 6 (http://www.promtools.org)

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

24. 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

25. 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

26. Thank You