Lineaarsel temporaalloogikal põhinevate ärireeglite avastamine sündmuste logidest

Abstract

Käesolev bakalaureusetöö keskendub lineaarsel ajaloogikal põhinevate ärireeglite avastamisele sündmuste logidest. Lineaarset temporaalloogikat saab kasutada äriprotsesside väljendamiseks deklaratiivsel viisil. Arendatud rakendus LTLMiner üritab parandada olemasoleva rakenduse TLQC jõudlust, mida kasutatakse ärireeglite avastamiseks. Bakalaureusetöö selgitab lahenduskäiku ning võrdleb LTLMiner’i ning TLQC’i jõudlust.

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.