1 / 26

HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS

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. Process Mining in a Nutshell. THEORY. REALITY. Process Mining in a Nutshell. REALITY REFLECTION. ?. ?.

rrita
Download Presentation

HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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

  3. Process Mining in a Nutshell THEORY REALITY

  4. Process Mining in a Nutshell REALITY REFLECTION ? ? LOGS THEORY REALITY

  5. Session 7: Process Mining and Conformance

  6. Conformance in a Nutshell Log Model Alignment C D E A B B C A B E Fitness Precision 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?

  8. Process Diagnosis like a Map

  9. Process Diagnosis like a Map

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

  11. Structural Decomposition

  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

  13. Example of SESE and RPST • Unique • Modular • Polynomial Time 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

  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 < t1 t2 t3 t3 t5 t6 t5 t7

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

  16. Component inside a Cycle B A X Y C D A B 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

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

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

  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

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

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

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

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

  26. Thank You

More Related