基于流程模型分解的分布式合规性检查方法

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

作者：沈晓林, 刘聪, 李会玲, 郑凯, 程龙, 曾庆田

单位：1.山东理工大学计算机科学与技术学院2.山东科技大学电子信息工程学院3.华北电力大学控制与计算机工程学院

摘要：合规性检查是流程挖掘领域的一项重要任务,旨在发现业务流程日志行为和模型行为之间的差异和共性。对齐(Alignment)是当前合规性检查的标准技术之一,能精确定位日志行为和模型行为之间的偏差。然而,随着事件日志规模和复杂程度的增长,对齐通常非常耗时且难以在合理的时间内返回结果。为此,提出一种基于流程模型分解的分布式合规性检查方法,首先,将各类流程模型统一转换为流程树模型,并利用流程树的结构特性将流程树分解为子树,以减少对齐方法的搜索空间;其次,在分布式平台Spark上计算轨迹和子模型的最优对齐,从而加快对齐的计算;最后,通过多个日志进行实验对比。所提方法均已在PM4PY和Spark分布式环境中实现,并且可以作为一种框架与其他合规性检查方法结合使用。通过公开日志数据集将所提方法与已有基于A*的对齐方法和托肯重演方法进行对比,实验结果表明所提方法可以提高业务流程合规性检查的计算效率。

关键词：合规性检查,流程树,对齐,分解,分布式计算

基金资助：国家自然科学基金资助项目(62472264);山东省泰山学者工程专项基金资助项目(ts20190936,tsqn201909109);山东省自然科学基金优秀青年基金资助项目(ZR2021YQ45);山东省高等学校青创科技计划创新团队项目(2021KJ031)。