本研究提出了DeclareAligner算法，旨在提高声明式过程模型与事件日志之间的合规检查效率。该算法结合A*搜索和特定启发式方法，显著提升了处理8,054个对齐问题的计算效率，推动了过程分析与管理的进步。

本文介绍了一个三步流程，通过使用不同的过程模型相似性度量来对类似的局部过程模型进行分组。实际案例研究展示了分组的实用性以及发现的局部过程模型的重复性对其进行改进的影响。