Slide 1
Slide 1 text
Online conformance checking
Input: [infinite] event stream
Output: which traces are deviating from reference behaviour (and at what cost)
Slide 2
Slide 2 text
Online conformance checking
Input: [infinite] event stream
Output: which traces are deviating from reference behaviour (and at what cost)
Slide 3
Slide 3 text
Online conformance checking
Input: [infinite] event stream
Output: which traces are deviating from reference behaviour (and at what cost)
A
B
C
D 1 2
A
3
B
4
C 5
C
B
6
D
Process model
into transition system
Slide 4
Slide 4 text
Online conformance checking
Input: [infinite] event stream
Output: which traces are deviating from reference behaviour (and at what cost)
Construction of enriched model
Online Conformance Transition System (OCTS)
1 2
A
3
B
4
C 5
C
B
6
D
B
C
D
C
B
D
D
A
B,C
A
A
C
A
A
D
D
A
B
C
D 1 2
A
3
B
4
C 5
C
B
6
D
Process model
into transition system
Slide 5
Slide 5 text
Online conformance checking
Input: [infinite] event stream
Output: which traces are deviating from reference behaviour (and at what cost)
Construction of enriched model
Online Conformance Transition System (OCTS)
1 2
A
3
B
4
C 5
C
B
6
D
B
C
D
C
B
D
D
A
B,C
A
A
C
A
A
D
D
A
B
C
D 1 2
A
3
B
4
C 5
C
B
6
D
Process model
into transition system
E F E G F E
Event stream
...
Online conformance
checking
1
1
Slide 6
Slide 6 text
Online conformance checking
Input: [infinite] event stream
Output: which traces are deviating from reference behaviour (and at what cost)