Conformance checking for BPMN-based process models
Conformance checking for BPMN-based process models
复制标题
基于 BPMN 的流程模型的一致性检查
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Wasif Gilani
中科院分区：
文献类型：
--
作者：
T. Molka;D. Redlich;Marc Drobek;A. Caetano;Xiao;Wasif Gilani
度量业务流程模型与实际流程执行的一致性是许多应用程序的一个重要主题。虽然当前的一致性检查方法是针对正式模型（如Petri网）量身定制的，但它们缺乏对特定领域标准（如BPMN）的支持。在本文中，我们提出了两种基于BPMN元素和事件日志直接度量业务流程模型一致性的方法。我们定义了从这些模型中提取属性的方法，以便在本地级别（即流程的各个部分和单个事件）方便地与事件日志进行比较。此外，我们还提供了一种在这种模型上重播整个事件日志的方法，允许进行全局一致性度量（即在跟踪级别上）。通过利用先前提取的属性，我们消除了对昂贵的状态空间探索的需要。
Measuring how well business process models conform to the execution of the process in reality is an important topic with many applications. While current conformance checking approaches are tailored to formal models such as Petri nets they lack support for domain-specific standards such as BPMN. In this paper we present two approaches for directly measuring the conformance of business process models based on BPMN elements and event logs. We define methods for extracting properties from such models that enable an easy comparison to event logs on a local level (i.e. for individual parts of the process and individual events). Furthermore, we present a method for replaying whole event logs on such models, allowing for a global conformance measure (i.e. on trace level). By utilising the previously extracted properties, we eliminate the need for expensive state-space exploration.