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