Discovering Unchanged Process Model Fragments via Conformance Based on Event Relations
One of the goals of business process audit is to check the conformance between the process model and real process behavior represented in the form of event log. Conformance checking procedure may detect such discrepancies as undesired behavior or behavior shifts. There are several proven methods for performing this procedure, namely, token replay and trace alignments. One more method employs partially synchronized product of event structures discovered from a model and an event log. However, these techniques do not allow to discover what
parts of the model still match the event log or do this by applying complex algorithms. The purpose of this paper is to provide a technique for detecting unchanged model fragments on the basis of event relations mined from a process model and an event log.