科研之友
微信
新浪微博
Facebook
分享链接
摘要
为有效检查复杂过程模型与事件日志之间的一致性，提出了一种基于启发式搜索的带循环过程模型一致性检测方法。任何具有执行语义的过程模型都可通过生成状态空间、提取状态空间中活动与活动之间的关系，进而转换为一个有向图模型，也称“执行空间”。带循环的执行空间可以通过展开循环而形成多个不带循环的执行空间，进而可以利用针对无循环执行空间的最优对齐计算方法。因此，带循环的过程模型的最优对齐方法的关键问题是找到结果最优的展开情况。针对该问题，提出了将事件序列分解成迭代部分递增的子序列集。一方面迭代部分逐渐增长，另一方面逐渐展开循环，可识别出与子序列新增迭代部分最匹配的循环结构，并以此作为启发信息逐渐确定最优的展开情况。实验结果表明，启发式搜索策略能有效减少搜索空间，在事件日志中的新增变异为非模型活动的情况下，准确率达到99.8%，验证了方法的有效性。
- 单位
