Abducing Compliance of Incomplete Event Logs

详细信息    查看全文

• 关键词：Abductive logic programming ; Formal verification ; Compliance in business process ; Incompleteness in business processes
• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：10037
• 期：1
• 页码：208-222
• 丛书名：AI*IA 2016 Advances in Artificial Intelligence
• ISBN：978-3-319-49130-1
• 卷排序：10037

文摘

The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. Nonetheless, these tools are often very rigid in dealing with Event Logs that include incomplete information about the process execution. Thus, while the ability of handling incomplete event data is one of the challenges mentioned in the process mining manifesto, the evaluation of compliance of an execution trace still requires an end-to-end complete trace to be performed. This paper exploits the power of abduction to provide a flexible, yet computationally effective, framework to deal with different forms of incompleteness in an Event Log. Moreover it proposes a refinement of the classical notion of compliance into strong and conditional compliance to take into account incomplete logs.