![Page 1: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/1.jpg)
HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS
Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst
![Page 2: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/2.jpg)
2
Session 7: Process Mining and Conformance
![Page 3: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/3.jpg)
3
Process Mining in a Nutshell
THEORY REALITY
![Page 4: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/4.jpg)
4
Process Mining in a Nutshell
THEORY REALITY
??REALITY REFLECTION
LOGS
![Page 5: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/5.jpg)
5
Session 7: Process Mining and Conformance
![Page 6: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/6.jpg)
6
Conformance in a NutshellLog Model
A B C D EA B B C
Alignment
E
Fitness Precision
How much behavior of the logis captured by the model?
How accurate is the modeldescribing the log?
![Page 7: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/7.jpg)
7
Conformance in the Large• How easy is to diagnose a conformance problem here?• How much time it takes?
![Page 8: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/8.jpg)
8
Process Diagnosis like a Map
![Page 9: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/9.jpg)
9
Process Diagnosis like a Map
![Page 10: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/10.jpg)
10
Decomposition Goals
• Intuitive and independent decomposition
• Hierarchy between components
SESE RPSTSingle EntrySingle Exitcomponents
Refined Process Structure Tree
* Artem Polyvyanyy: Structuring Process Models. PhD Thesis. University of Potsdam (Germany), January 2012
![Page 11: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/11.jpg)
11
Structural Decomposition
![Page 12: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/12.jpg)
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
![Page 13: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/13.jpg)
13
Example of SESE and RPST
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
![Page 14: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/14.jpg)
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<
t5 t6 t5t1 t2 t3 t3 t7
![Page 15: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/15.jpg)
15
Conformance and Markings Dependency
• The conclusions are strongly dependent on the markings
A
B
C
A
B
C
D
E
![Page 16: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/16.jpg)
16
Component inside a Cycle
X
Y
A B
B C DA
E
![Page 17: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/17.jpg)
17
Depending Analysis• Test components in isolation
• Black Box• Multi-scenario responses
• Exploit properties• Safe, bounds, …• Acyclic• Subclass of Petri Net• Domain specific properties
![Page 18: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/18.jpg)
18
Safe Sound Workflow Nets (1)• Entry/Exit Places
![Page 19: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/19.jpg)
19
Safe Sound Workflow Nets (2)• Initial Marking = one token on the entry• Final Marking = one token on the exit
![Page 20: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/20.jpg)
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
![Page 21: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/21.jpg)
21
Implementation
ProM 6 (http://www.promtools.org)
![Page 22: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/22.jpg)
22
Implementation
ProM 6 (http://www.promtools.org)
![Page 23: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/23.jpg)
23
Results
• 1 Component – 1h 15min• 7 Components – 2min
![Page 24: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/24.jpg)
24
Future Work
• Decomposed Conformance Checking Problem• Not hierarchy but partitioning• Reducing the time• Non depending results
Conformance Checking in the Large: Partitioning and Topology
J. Munoz-Gama, J. Carmona and W. van der AalstBusiness Process Management (BPM) 2013
![Page 25: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/25.jpg)
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
![Page 26: HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst](https://reader034.vdocuments.mx/reader034/viewer/2022042703/56649e2c5503460f94b1aee1/html5/thumbnails/26.jpg)
Thank You