event-based real-time decomposed conformance analysis seppe vanden broucke, jorge munoz-gama, josep...
TRANSCRIPT
![Page 1: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/1.jpg)
EVENT-BASED REAL-TIME
DECOMPOSED CONFORMANCE ANALYSIS
Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen
CoopIS2014
![Page 2: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/2.jpg)
2
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 3: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/3.jpg)
3
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 4: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/4.jpg)
4
Process Models, Process Mining and Conformance Checking
Conformance Checking
Process Mining
Process Models
![Page 5: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/5.jpg)
5
• A process is a series of actions taken in order to achieve a particular end.• e.g., construction permit application, patient path in a hospital,
…
• A process model is a description of a process in a certain level of formality.
• Process models are used to gain insight of the processes, simulate forthcoming future, take educated decisions, …
• Several notations for processes: BPMN, EPC, UML, Petri nets, …
Processes and Process Models
![Page 6: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/6.jpg)
6
Petri Net
• Petri nets: formal, wide extended, mathematical foundation, several approaches, …
Transition
PlaceToken
![Page 7: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/7.jpg)
7
Petri Net
• Petri nets: formal, wide extended, mathematical foundation, several approaches, …
![Page 8: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/8.jpg)
8
Process Modeling based on Experts
MODEL REALITY
PROCESS
DOMAINEXPERTS
?
![Page 9: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/9.jpg)
9
Biased Vision
![Page 10: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/10.jpg)
10
• The basic idea of Process Mining is to extract unbiased knowledge from event logs as an exact representation of the reality.
• Conformance Checking is a sub-discipline of Process Mining where a process model is compared with the reality reflected in the log to assess its quality.
Process Mining
![Page 11: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/11.jpg)
11
Conformance Checking
MODEL REALITY
PROCESS
?
LOGS
How good is the model describing
the reality?
![Page 12: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/12.jpg)
12
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 13: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/13.jpg)
13
• Detect possible conformance anomalies between the model and the reality on the fly, before it is too late.
• Challenges:• Low Computation Time
• Analysis on the regular basis
• Localize Deviation and Understand Causes• Specially in large models
• Event-based• Not complete case necessary to report a mismatch
Event-based Real-time
![Page 14: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/14.jpg)
14
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 15: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/15.jpg)
15
Addressing the Challenges
• Challenges: • Fast• Event-based• Mismatches localization and understanding.
• Solution:
Decomposition + Event-based Heuristical Replay
![Page 16: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/16.jpg)
Approach
16
![Page 17: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/17.jpg)
17
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 18: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/18.jpg)
18
Benefits of Decomposition in Conformance
• Decomposition of models has been proven to improve the computation time in conformance checking. • Munoz-Gama et al. 2014, van der Aalst 2013, …
• Meaningful decompositions improve the comprehension of the conformance violations.• Munoz-Gama et al. 2013, …
Single-Entry Single-Exist (SESE) Decomposition
![Page 19: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/19.jpg)
19
Why SESE?
• Single-Entry Single-Exit Components
• Represent subprocesses within the process• Intuitive for conformance diagnosis• Well-studied problem in the literature, with
linear time algorithms.• Hopcroft and Tarjan 1973, Polyvyanyy 2012, …
ExitEntry
![Page 20: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/20.jpg)
20
SESE Decomposition
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• Linear Time
![Page 21: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/21.jpg)
21
Cut on RPST
• Partitioning over the RPST• Any cut is a partitioning• Algorithm to partitioning by size (k)
• Details in Munoz-Gama et al. 2014.
![Page 22: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/22.jpg)
22
What are the guarantees?
• What are the guarantees in conformance?
• Valid decomposition: only sharing transitions (not places or arcs)
• van der Aalst 2013 proves that:Theorem: If valid decomposition then no
conformance violations are lost in the decomposition process.
![Page 23: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/23.jpg)
23
SESE and Valid Decomposition• SESE decomposition may produce not valid
decompositions• Exit place of one component is the entry place of
another.
• But it can be a valid decomposition if we apply bridging.
![Page 24: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/24.jpg)
24
What are the guarantees?
• Munoz-Gama et al. 2013 proves that:
• Combine SESEs to obtain more understanding subprocesses
Theorem: SESE + bridging is a valid decomposition and therefore, no conformance violations are lost in
the decomposition process.
![Page 25: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/25.jpg)
25
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 26: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/26.jpg)
Event Dispatching
26
![Page 27: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/27.jpg)
27
Event Dispatching
• Central dispatcher serves each event to its corresponding submodel(s) to be replayed on it.
• Distributed worker threads, each one in charge of one or more submodels in a concurrently way.
![Page 28: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/28.jpg)
28
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 29: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/29.jpg)
Replay
29
![Page 30: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/30.jpg)
30
Replay vs Alignments
GLOBAL ALIGNMENT-BASED CONFORMANCE
VS
HEURISTIC REPLAY-BASED CONFORMANCE
![Page 31: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/31.jpg)
31
Align-based Conformance
Log Model
C D E
A B B C
Alignment
E
• Conformance mismatch on the Log
• Conformance mismatch on the Model
A B C D EA C D DB C E
…
A B
A C C D DA B B C E
![Page 32: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/32.jpg)
32
Replay-based Conformance
AA
A BA B
A B BA B
CA B B CA B
• Forward replay based on heuristic decisions
![Page 33: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/33.jpg)
33
• Align-based• Optimal from global point of view• High Computational Cost• Trace oriented
• Replay-based• Event oriented• Low Computational Cost• Heuristic and optimality not guaranteed
Align vs Replay Conformance
![Page 34: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/34.jpg)
34
Heuristic Event-based Replay
• Heuristic Event-based replay based on vanden Broucke et al. 2013.• For each submodel and each case id the
state of the submodel is maintained and evolved.• Given a new event we check if it is
enabled in the current state.• Order: transition mapped to activity,
silent transitions, and non-enabled transitions mapped to activity.
![Page 35: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/35.jpg)
35
Heuristic Event-based Replay
• If several candidates, one-step look-ahead.• Sufficient to resolve most ambiguities.
• However, in real-time no knowledge about future events.• Three alternatives:
• Assume determinism• Full replay of the trace each time a new event is
added, reconsidering decisions. • Combination of both: a part of the trace is “frozen”.
• Decomposition limit the effects of the heuristic decisions.
![Page 36: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/36.jpg)
Algorithm
36
• Details in the paper
![Page 37: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/37.jpg)
37
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 38: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/38.jpg)
Reporting and Visualization
38
![Page 39: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/39.jpg)
39
Reporting and Visualization
• Actions while system is running
• Two types of actions• Logging of statistics
• e.g., be polled regularly by dashboards or persistent data stores
• Triggers fired once certain criteria is met• e.g., error threshold, violation of high-risk task• Actions: warnings, halting running services, …
![Page 40: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/40.jpg)
Proof-of-concept Implementation
40
MonitoringSubprocesses
EventsStreamed
GlobalView
GeneralStatistics
![Page 41: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/41.jpg)
41
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 42: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/42.jpg)
Bank Transfer: High Level
42
![Page 43: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/43.jpg)
43
Bank Transfer: Petri Net
![Page 44: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/44.jpg)
Scenario 1: Serial Number Check
44
• Pay in cash subprocess requires 3 concurrent checks before to proceed: • CASN (external), CBSN (bank), CIBSN (consortium)
• External check is suddenly skipped (malfunction or attack)
![Page 45: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/45.jpg)
Scenario 2: Preliminary Profiling
45
• First Receiver Pre-Profiling and then Evaluate Pre-Profiling to take a decision of its risk and requirements.
• Evaluation before proper finishing of profiling (malfunction or attack)
![Page 46: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/46.jpg)
Experimental Comparison
46
• Approaches adapted to event-based for comparison• Not designed nor optimized for that (e.g., grouping,
etc)
![Page 47: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/47.jpg)
47
APPROACH
DECOMPOSITION
CONFORMANCE CHECKING
CONCLUSIONS
EVENT-BASED REAL-TIME CONFORMANCE
EXAMPLE CASE AND EXPERIMENTS
EVENT DISPATCHING
REPLAYREPORTING AND VISUALIZATION
![Page 48: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/48.jpg)
48
Conclusions
• Novel process conformance checking to support real-time monitoring of event-based data.• Phases: 1) Decomposition, 2) Event
Dispatching, 3) Replay, and 4) Reporting and Visualization. • Event-based, Fast, and better
comprehension. • Future work: Other decompositions and
real case studies.
![Page 49: EVENT-BASED REAL-TIME DECOMPOSED CONFORMANCE ANALYSIS Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen CoopIS 2014](https://reader035.vdocuments.net/reader035/viewer/2022062718/56649ea75503460f94ba9b73/html5/thumbnails/49.jpg)
EVENT-BASED REAL-TIME
DECOMPOSED CONFORMANCE ANALYSIS
Seppe vanden Broucke, Jorge Munoz-Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen
CoopIS2014