[发明专利]基于模型分解的分布式业务流程合规性检查方法与系统

摘要

本发明公开了一种基于模型分解的分布式业务流程合规性检查方法与系统，包括：1)将过程模型视为有向图，生成候选分解对列表；2)从候选分解对列表中获取有向图的可分解库所对；3)利用可分解库所对将原有向图分解为子图；4)迭代进行步骤1)‑3)直至图不可分解，导出子图为子模型；5)在分布式平台spark上计算事件日志和所有子模型的合规性。本发明通过分解过程模型和分布式计算，有效的提高了当前基于对齐的合规性检查方法的性能，同时保证最优对齐的准确性，能够在合理时间内诊断大型过程模型与真实日志的偏差，分析大型过程模型的瓶颈。