计算机集成制造系统 ›› 2019, Vol. 25 ›› Issue (第4): 856-863.DOI: 10.13196/j.cims.2019.04.007

• 当期目次 • 上一篇    下一篇

基于Artifact生命周期的业务流程一致性检查

王颖1,2,3,周晓宇1,2,3,王钊1,2,3,张学馨1,2,3,陈丽娇1   

  1. 1.燕山大学信息科学与工程学院
    2.河北省计算机虚拟技术与系统集成重点实验室
    3.河北省软件工程重点实验室
  • 出版日期:2019-04-30 发布日期:2019-04-30
  • 基金资助:
    河北省教育厅高等学校科技计划资助项目(ZD2017082)。

Conformance checking of business process based on artifact lifecycle mode

  • Online:2019-04-30 Published:2019-04-30
  • Supported by:
    Project supported by the Science and Technology Program of Hebei Province for Institutions of Higher Education,China(No.ZD2017082).

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

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

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

中图分类号: