Abstract: Conformance analysis of data constrained models plays an important role in business process management. The existing methods maily consider the control flow aspect of the process model. However, for a model, the data flow may be considered inconsistent, so the consistency of the business process model should be analyzed in conjunction with the impact of data information. This paper firstly simplifies optimal alignments between model and log which are computed based on similar optimal alignments, and can reduce the amount of computation required for existing methods. Then by mapping the alignment move to the model, the non-conformance region in the model is found out. The control node is added to further optimize the model. Finally the feasibility of techniques is illustrated through specific system.

Key words: data constraints, similar optimal alignments, alignment move, behavioral conformance

摘要： 数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是，对于一个模型而言，考虑数据流的时候可能是不一致的，所以应该结合数据信息的影响分析业务流程模型的一致性。基于相似最优校准的概念，根据算法计算出模型与日志的简化最优校准集，以便缩减已有方法所需的数量，然后映射校准移动到模型以确定模型行为不一致的区域，并添加控制节点进一步优化模型，最后通过具体实例验证该方法的可行性。

关键词: 数据约束, 相似最优校准, 校准移动, 行为一致性