Conformance checking of processes based on monitoring real behavior
Conformance checking of processes based on monitoring real behavior
复制标题
DOI：
10.1016/j.is.2007.07.001
复制
发表时间：
2008-03-01
影响因子：
3.7
通讯作者：
van der Aalst, W. M. P.
中科院分区：
文献类型：
--
作者：
Rozinat, A.;van der Aalst, W. M. P.
许多公司已经采用了流程感知信息系统（PAIS）以某种形式支持其业务流程。一方面，这些系统通常是与实际业务流程执行相关的日志事件（例如，在交易日志或审计跟踪中）。另一方面，经常可用来描述业务流程应如何（或有望执行）的显式过程模型。与日志中记录的数据一起，这种情况提出了一个有趣的问题：“模型和日志彼此符合吗？”。符合性检查（也称为符合性分析）旨在检测过程模型与其相应执行日志之间的不一致之处。以及它们通过指标形成的量化。本文提出了一种增量方法，以检查过程模型和事件日志的符合性。首先，测量日志和模型之间的适应性（即，“观察到的过程是否符合过程模型指定的控制流程？”）。其次，可以根据日志进行分析模型的适当性（即，“模型是否以合适的方式描述观察到的过程？”）。可以从结构和行为的角度评估适当性。为了实现本文中提出的想法，在舞会框架内实现了一个符合性检查器，并已使用人工和现实生活事件日志对其进行了评估。 （c）2007 Elsevier B.V.保留所有权利。
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. On the other hand explicit process models describing how the business process should (or is expected to) be executed are frequently available. Together with the data recorded in the log, this situation raises the interesting question "Do the model and the log conform to each other?". Conformance checking, also referred to as conformance analysis, aims at the detection of inconsistencies between a process model and its corresponding execution log. and their quantification by the formation of metrics. This paper proposes an incremental approach to check the conformance of a process model and an event log. First of all, the fitness between the log and the model is measured (i.e., "Does the observed process comply with the control flow specified by the process model?"). Second, the appropriateness of the model can be analyzed with respect to the log (i.e., "Does the model describe the observed process in a suitable way?"). Appropriateness can be evaluated from both a structural and a behavioral perspective. To operationalize the ideas presented in this paper a Conformance Checker has been implemented within the ProM framework, and it has been evaluated using artificial and real-life event logs. (C) 2007 Elsevier B.V. All rights reserved.