Discovering LTL-based business rules from Event Logs
Name
Tõnis Kasekamp
Abstract
This thesis focuses on the discovery of linear temporal logic business rules from event logs. Linear temporal logic is used to describe business processes in a declarative way. The developed application LTLMiner aims at improving the performance of an existing tool TLQC used for business rule discovery. The thesis explains the solution and compares the performance between the LTLMiner and TLQC.
Graduation Thesis language
English
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Fabrizio M. Maggi
Defence year
2015