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

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