基于直接后继关系对齐的过程符合性检测

来源：计算机集成制造系统杂志2020年第6期北京时间：

作者：方欢,李东月,孙书亚,方贤文

单位：1.安徽理工大学数学与大数据学院2.滁州学院数学与金融学院

摘要：针对现有的符合性检测方法大都基于单个活动的对齐,且只给出模型与日志的快速匹配方法,存在非块结构模型不敏感的问题,提出一种基于直接后继关系对齐的过程符合性检测方法。首先,根据直接后继关系得到模型与日志相关属性,并以紧邻活动对的方式展现出来。其次,根据基于紧邻活动对的最优对齐算法(AAP),得到轨迹的最优匹配活动对序列,提出基于最小代价的单条迹与模型的拟合度函数,并给出拟合度算法(DFA),计算日志与模型的拟合度。最后使用实际案例对所提方法进行了评估,结果表明：该方法能够正确计算过程模型与日志之间的拟合度,且具有较好的时空复杂度。

关键词：过程挖掘,符合性检测,紧邻活动对,对齐

基金资助：国家自然科学基金资助项目(61572035,61902002);安徽省自然科学基金资助项目(1608085QF149);安徽省高校优秀青年人才基金资助项目(gxyqZD2018038);安徽省博士后基金资助项目(2018B288)。