Abstract: To check whether the observed operation recorded in log matched the given model operation to key business data,a method of checking the conformance of the business process based on the Artifact lifecycle model was proposed.Artifact was the key data entity in business process and its lifecycle was modeled based on Petri net.The best alignment between an instance in Artifact log and the activity sequence in Artifact lifecycle model was constructed using A* algorithm and the activity-attribute fitness was measured.A prototype system was implemented which showed that Artifact-centric conformance checking provided an effective way to analyze and improve the business process.

Key words: conformance checking, business process, Artifact lifecycle, log, Petri nets, fitness

摘要： 为检查业务流程日志中对关键业务数据的操作和预定义模型中的操作是否存在偏差,提出一种基于Artifact生命周期的业务流程一致性检查方法。基于Petri网建立了业务流程关键数据Artifact的生命周期模型。给出Artifact实例日志,采用A*算法查找日志中的Artifact实例轨迹与模型中活动序列的最佳对齐,计算活动—属性关联拟合度。最后,实现了一个原型系统,结果表明以数据为中心进行一致性检查为流程分析和改进提供了有效的方法。

关键词: 一致性检查, 业务流程, Artifact生命周期, 日志, Petri网, 拟合度