业务流程模型主要由数据流和控制流两部分组成,这两者及其之间的关系包含了业务流程的建模、模型的分析与执行的重要信息,对流程模型的结构和行为有重要的约束作用。工程师在为公司企业设置业务流程时,由于各自的侧重角度不同,所设置的流程也会不尽相同,并不是所设计出的业务流程都能按照流程管理的要求顺利执行,而且数据流在模型中的传播与变化使得流程模型的执行结果出现多样化与不确定性,因此,对数据约束下的业务流程模型的分析显得尤为重要。考虑到Petri网目前作为建模工具能将业务流程问题转化成网络模型问题,并将对业务流程的分析转化为对流程模型的分析。所以,目前分析数据约束下的业务流程Petri网模型的变化域并对其控制是业务流程管理的重点。目前,在此方面的研究主要集中在从控制流方面寻找流程模型的变化域,并从模型结构及行为语义方面对其进行优化控制,而忽略了模型中数据信息的传播与变化对业务流程执行结果的影响。而且,现有的考虑到数据流信息对业务流程影响的研究也大多只局限于数据形式,几乎没有给出直观的数据流模型,并且在寻找模型的变化域时自觉地排除了数据流信息产生的错误信息,具有很大的局限性。为提高对数据约束下的业务流程Petri网模型的分析效率,快速寻找出数据约束下的业务流程Petri网的变化域,并对其进行控制优化,本文主要从以下三个方面来研究：1)针对业务流程Petri网的合理性问题,工作流网的合理性是确保该工作流网能够终止并且每一个任务都不会使工作流网出现死锁或陷入无限循环,也是保证该工作流网不存在变化域的首要条件。目前对业务流程合理性确定的技术大多局限于控制流领域,而没有考虑数据信息。本文以自动售货系统的流程为例,基于业务流程Petri网的数据流和控制流分析其合理性,此方法不仅从控制流上分析了业务流程Petri网模型的合理性,还进一步从数据信息方面加强了对数据约束下的业务流程Petri网模型合理性的判断。2)针对业务流程Petri网模型的变化域的确定问题,已有的研究都是单方面从业务流程控制流方面考虑,通过给定的变化节点来搜索变化范围,或者通过研究源模型与一个正确的参照模型的非一致性来寻找模型的变化区域,这些方法都具有一定的局限性。本文在Petri网和行为轮廓理论的基础上,在没有目标模型且数据信息出现变化传播的情况下,给出了寻找数据约束下的业务流程Petri网模型变化域的方法,该方法充分考虑了数据信息在业务流程Petri网中的影响,克服了已有的单方面从控制流关系上分析模型变化域而忽略数据信息的变化传播的影响所带来的缺陷。3)针对业务流程模型的变化域的控制与处理问题,本文提出了一种基于行为包含查询业务流程模型的方法,首先以一个业务流程实例作为输入,通过分析流程模型间的行为包含关系,发现所有允许重放查询行为的全部模型。然后提出紧密度的概念并利用紧密度得分来确定最优匹配模型,从而对业务流程模型的变化域进行优化控制。