Discovering LTL based business rules from Event Logs

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.