Year of Graduation
Discovering Unchanged Process Model Fragments via Conformance Checking Based on Event Relations
System and Software Engineering
One of the goals of business process audit is to check the conformance between the process model and real process behaviour represented in the form of event log. Conformance checking procedure may detect such discrepancies as undesired behaviour or behaviour shifts. There are several proven methods for performing this procedure, namely, token replay and trace alignments. One more method employs partially synchronised 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 thesis 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.