随着信息系统在业务过程中的广泛应用，对业务过程适用性和事件日志实用性的需求也随之增加。一方面，大多数企业用信息系统记录过程，而另一方面，这些过程也在信息系统中留下足迹。业务过程可以由形式化或半形式化的模型进行描述，过程挖掘技术可以将事件日志记录的行为和过程模型描述的行为关联起来。由于系统设计不完善或系统升级，导致事件日志记录行为可能与过程模型描述行为不一致。因此，本文提出了事件日志与过程模型一致性检测的方法，并根据检测一致性得到的信息对过程模型进行了改进。本文以工作流网作为建模工具，主要工作和创新点如下：
　　1.提出了一种日志与不包含循环的模型之间行为偏差检测方法。
　　为了检测过程模型描述行为与事件日志记录行为之间的不一致，即偏差，基于Petri网形式化定义了迹与模型之间存在的异常活动，引入了因果网概念。提出了检测事件日志与因果网描述的过程模型之间行为偏差的方法，并将偏差检测方法扩展到包含选择结构的过程模型上。最后通过青岛某三甲医院的多个标准临床路径进行实验对比，验证了偏差检测方法的有效性及可扩展性。
　　2.提出了一种日志与包含循环的模型之间行为偏差检测方法。
　　给出了模型中存在的循环结构类型定义，及如何判断模型中循环类型的方法。提出了如何确定模型中循环部分与迹中迭代子迹的方法，在此基础上检测了迹与包含循环模型之间的行为偏差。利用医院脑出血临床路径的过程模型及对应事件日志，进行实验比较，验证了方法的有效性与可扩展性。
　　3.提出了一种基于工作流分解的模型活动与日志活动校准方法。
　　对于复杂度比较高，规模比较大的过程模型与事件日志，提出了一种用分治策略校准模型活动与日志活动的方法。根据模型精简过程结构树（RPST）对过程模型进行工作流分解，将迹中活动在分解的子模型上投影得到分解的子迹。基于Petri网理论的状态方程，提出了子模型与对应子迹的校准方法。最后，通过医院信息系统的过程模型及对应事件日志进行实验，验证了校准方法的有效性。
　　4.提出了一种基于引发序列的过程模型修正方法。
　　针对模型与日志之间存在的三类行为偏差，提出了如何确定活动关系，活动所在子模型结构，及需要改变子模型的方法。从移除活动，添加活动及改变模型行为三个方面提出了模型修正，及如何确定并在模型中添加“redo”活动。最后，通过实验比较，利用医院住院系统的过程模型及对应事件日志验证了修正方法的正确性。