块结构过程模型的确定无回溯日志审计方法

摘要

近年来，各种过程感知信息系统记录下了大量业务过程的执行情况。这些系统在对过程进行不同程度追踪，同时记录下了大量可供分析的数据。这些数据为过程挖掘的兴起提供了基础和依据。对于过程挖掘中的审计问题,提出了针对块结构过程模型的确定无回溯日志审计方法.将块结构模型转换为过程树形式,以过程树语义为基础讨论事件日志的审计.针对块结构模型日志审计中的回溯问题,提出了提取公共左因子的解决方法;分析日志审计中的待定移动匹配问题,提出分析过程树FirAct与FolAct交集的解决方案,进而给出可进行确定无回溯日志审计模型应满足的条件.最后,给出了块结构过程模型的确定无回溯日志审计算法,证明了算法的正确性,并用实例说明算法的应用.以实际报销流程和构造模型进行实验,结果表明该方法性能优于现有的对齐算法,适用于对事件日志进行审计.