业务流程管理包括流程的设计和实施、模型的建立和分析以及程序的执行等。工作流管理系统和软件管理系统的信息技术的发展趋势使得业务流程管理方面的研究变得越来越重要。在业务流程管理领域,流程模型是研究的基础,流程模型不仅可以配置信息系统,还可以分析流程的变化并改善流程。因此在业务流程管理领域,流程模型的变化分析和流程模型的构建对业务流程的发展具有重要的意义。目前,主要从行为和结构两个方面来对流程模型进行研究。通过模型的变化域分析和流程模型的挖掘以及配置来实现对流程行为和结构的研究。变化分析方面的研究主要是基于原模型和目标模型已知,原模型中的变化给定的理想情况下进行研究的,对于没有原流程模型和变化点的情况下对模型的变化分析方面的研究存在局限性；同时流程挖掘大多是依赖α等算法通过事件日志对模型挖掘,但是对于有行为约束的模型的挖掘方面的研究较少。本文在行为轮廓、事件日志以及配置约束的基础上对模型的行为和结构进行研究,主要包括以下两个方面的内容：(1)对于未知原模型和变化点的情况下研究流程模型的变化,提出了基于行为轮廓和日志的流程模型变化域的分析方法。流程模型变化域方面的研究主要是在静态分析的基础上,根据给定的原模型、目标模型以及变化节点,通过变化传播的理论来对变化范围进行搜索,该方法具有局限性。本文在流程模型的行为轮廓关系的基础上将其关系推广到事件日志上,对事件日志中的变迁进行归类,确定变迁间存在的关系；然后将事件日志中的变迁通过复杂对应关系将其与目标模型中的变迁进行匹配,以确定模型中存在的变化,并从理论上证明了该方法的有效性。(2)流程挖掘研究的多样化使得其在业务流程管理领域有很大的发展潜力,但是已有的挖掘算法例如α等算法大都是在Petri网的行为轮廓关系以及结构性质的基础上来挖掘流程模型,而这些挖掘出的流程模型之涵盖了日志中的一般行为,对于存在隐变迁等行为约束问题,已有的挖掘方法存在局限性。本文就存在隐变迁等行为约束问题提出了基于配置约束的业务流程模型的挖掘方法。该方法的核心是挖掘出可配置的业务流程模型,依赖日志的次序关系确定变迁间的行为关系以及变迁和库所间的流关系,初步建立流程模型,结合质量维度对模型进行测量,进而通过增量日志对模型进行改善,然后将其与配置约束结合确定可配置模型。该方法充分考虑了有行为约束模型的挖掘,提高模型的精确度。