计算机应用研究

作者：孙晋永,邓文伟,许乾,孙志刚,

单位：1.桂林电子科技大学广西可信软件重点实验室,广西桂林541004；2.广西师范大学计算机科学与工程学院,广西桂林541004；

关键词：过程模型,一致性检测,多视角,批量迹,最优对齐,

基金：国家自然科学基金资助项目(61862016,61961007,62066010,62006058)；广西自然科学基金资助项目(2020GXNSFAA159055)；广西可信软件重点实验室(KX202205)；；

在业务过程发现的一致性检测中，现有事件日志与过程模型的多视角对齐方法一次只能获得一条迹与过程模型的最优对齐；并且最优对齐求解中的启发函数计算复杂，以致最优对齐的计算效率较低。为此，提出一种基于迹最小编辑距离的、事件日志的批量迹与过程模型的多视角对齐方法。首先选取事件日志中的多条迹组成批量迹，使用过程挖掘算法得到批量迹的日志模型；进而获取日志模型与过程模型的乘积模型及其变迁系统，即为批量迹的搜索空间；然后设计基于Petri网变迁序列集合与剩余迹的最小编辑距离的启发函数来加快A*算法；最后设计可调节数据和资源视角所占权重的多视角代价函数，在乘积模型的变迁系统上提出批量迹中每条迹与过程模型的多视角最优对齐方法。仿真实验结果表明，相比已有工作，在计算批量迹与过程模型间的多视角对齐时，所提方法占用更少的内存空间和使用更少的运行时间。该方法提高了最优对齐的启发函数计算速度，可以一次获得批量迹的所有最优对齐，进而提高了事件日志与过程模型的多视角对齐效率。

来源：2023年第7期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2023年第7期