基于部分可达图的增量式一致性检查  

Incremental Consistency Check Based on Partial Reachable Graphs

作　　者：宋怀宁 卢可 SONG Huaining;LU Ke(College of Mathematics&Big Data,Anhui University of Science&Technology,Huainan 232001,China)

机构地区：[1]安徽理工大学数学与大数据学院,安徽淮南232001

出　　处：《新乡学院学报》2025年第3期41-46,共6页Journal of Xinxiang University

基　　金：国家自然科学基金项目(61402011);安徽省重点研究与开发计划项目(2022a05020005);安徽省自然科学基金项目(2308085US11)。

摘　　要：一致性检查技术是业务流程管理(BPM)的主要研究内容之一,用以检测在过程执行中是否出现了偏差。现有的大多数方法是离线一致性检查,无法及时检测出偏差并做出应对。针对此问题,提出一种基于部分可达图的增量式一致性检查方法。该方法利用Petri网对业务流程进行建模,通过构建部分可达图来表示从初始状态到某个特定状态的所有可能变迁路径,增量更新部分可达图,当事件日志中的每一事件到来时,增量地计算其与过程模型的一致性,高效处理新事件,同时避免重复计算,提高了一致性检查的效率。实验结果表明,与现有技术相比,本方法在执行速度、适应度和精确度方面均有显著提升,特别是在处理大规模和复杂的业务流程时。通过结合部分可达图可以快速地检测更多日志模型对,而将传统的离线一致性检查方法改进为增量式一致性检查,能够适应动态变化的业务环境的在线一致性检查。Consistency check technology is one of the main research contents of business process management(BPM),which is used to detect whether there is any deviation in the process execution.Most of the existing methods focus on offline consistency checks,but cannot detect deviations and respond in time.For this problem,an incremental consistency checking method based on partially accessible graphs.This method uses the Petri nets to model the business processes and constructs partially reachable graphs to represent all possible transition paths from the initial state to a specific state and then updates the partial accessibility map incrementally.When each event in the event log comes,the consistency with the process model is calculated incrementally to handle new events efficiently and avoid repeated calculation,thus improving the efficiency of consistency check.The experimental results show that the present method has significant improvements in execution speed,fitness and accuracy,especially when dealing with large-scale and complex business processes.More log model pairs can be quickly detected by combining partial accessibility maps,while the traditional offline consistency check method is improved to an incremental consistency check,which can adapt to the dynamically changing business environment for online consistency checking.

关 键 词：PETRI网 一致性检测 部分可达图 增量式检查 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]