Integrating LTL-based Conformance Checking into the Process Mining Application RuM
Name
Kaspar Kadalipp
Abstract
In the course of this Batchelor’s thesis new features were added to the desktop application RuM. RuM contains a comprehensive set of declarative process mining tools. Added functionality provides an additional LTL-based conformance checking technique which enables the analysis of more complex processes than what is possible with conformance checking techniques currently available in RuM. The main aim of conformance checking is to detect deviations between the modelled behaviour and the observed behaviour of the process and to use that information as a basis for process enhancement.
To achieve the desired functionality, the ProM plug module LTL Checker was integrated into the RuM application. The design of the added plugin had to be changed so that it could be compatible with the user interface of the existing application. The design tool Adobe XD was used to create a prototype. The thesis describes the process of creating a user interface and implementing part of the desired functionality. As a result, using the LTL Checker will become more convenient and will provide users with additional features.
To achieve the desired functionality, the ProM plug module LTL Checker was integrated into the RuM application. The design of the added plugin had to be changed so that it could be compatible with the user interface of the existing application. The design tool Adobe XD was used to create a prototype. The thesis describes the process of creating a user interface and implementing part of the desired functionality. As a result, using the LTL Checker will become more convenient and will provide users with additional features.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Fabrizio Maria Maggi, Anti Alman
Defence year
2021