Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm

by   Daniel Schuster, et al.

The execution of (business) processes generates valuable traces of event data in the information systems employed within companies. Recently, approaches for monitoring the correctness of the execution of running processes have been developed in the area of process mining, i.e., online conformance checking. The advantages of monitoring a process' conformity during its execution are clear, i.e., deviations are detected as soon as they occur and countermeasures can immediately be initiated to reduce the possible negative effects caused by process deviations. Existing work in online conformance checking only allows for obtaining approximations of non-conformity, e.g., overestimating the actual severity of the deviation. In this paper, we present an exact, parameter-free, online conformance checking algorithm that computes conformance checking results on the fly. Our algorithm exploits the fact that the conformance checking problem can be reduced to a shortest path problem, by incrementally expanding the search space and reusing previously computed intermediate results. Our experiments show that our algorithm outperforms comparable state-of-the-art approximation algorithms.


page 1

page 2

page 3

page 4


Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation

Conformance checking techniques aim to collate observed process behavior...

Alignment Approximation for Process Trees

Comparing observed behavior (event data generated during process executi...

The Role of Time and Data: Online Conformance Checking in the Manufacturing Domain

Process mining has matured as analysis instrument for process-oriented d...

An Entropic Relevance Measure for Stochastic Conformance Checking in Process Mining

Given an event log as a collection of recorded real-world process traces...

Towards Multi-perspective conformance checking with fuzzy sets

Conformance checking techniques are widely adopted to pinpoint possible ...

Conformance Checking Approximation using Subset Selection and Edit Distance

Conformance checking techniques let us find out to what degree a process...

Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts

Callbacks are essential in many programming environments, but drasticall...