基于对齐的BPMN 2.0模型符合性检测算法

摘要：

符合性检测方法作为比较和关联事件日志与流程模型的技术,是三大核心流程挖掘技术之一,可用于量化符合性和诊断偏差.BPMN 2.0模型具有丰富的表达能力,能够表达多实例、子流程、边界事件、OR网关等多种复杂模式,但是目前还没有针对这些复杂模式的BPMN 2.0模型符合性检测算法.针对该问题,提出了基于对齐的BPMN 2.0模型符合性检测算法Acorn,该算法支持上述多种复杂模式.在深入分析BPMN 2.0模型中多种复杂模式的具体语义并分析其具体使能情况的基础上,Acorn算法引入对齐操作,利用A*搜索算法寻找到代价最小的匹配轨迹,同时引入虚拟代价和预估代价来对A*算法进行搜索空间的优化,最后根据最佳匹配轨迹来计算模型与日志的契合度.实验表明,Acorn算法能够正确有效地计算带有复杂模式的BPMN 2.0模型与日志之间的契合度,且虚拟代价和预估代价的引入,大大减少了搜索空间,有效提高了算法的运行速度.

关键词：BPMN2.0模型、复杂模式、A*搜索、符合性检测、对齐

所属期刊栏目：54

分类号：TP315(计算技术、计算机技术)

资助基金：国家重点研发计划项目2016YFB1001101;国家自然科学基金项目61472207,61325008,61402301This work was supported by the National Key Research and Development Plan of China2016YFB1001101;the National Natural Science Foundation of China61472207, 61325008, 61402301

在线出版日期：2017-09-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：1920-1930