如今,用户繁多的变化需求以及不断庞大的系统规模使得企业在解决流程问题时越发艰难。在这样的环境下,出现的各种各样的问题使得设计业务流程变成一个耗时且低效的过程。因此,业务流程管理作为一套新的管理模式已经被普遍地应用到企业各个环节的运作中。业务流程管理包括设计和实施流程,建立和分析模型,执行程序等一系列技术和方法。数据流和控制流是业务流程两个主要的组成部分,且两者对模型的结构和行为有着重要的约束关系。在设计模型过程中,出现的各种各样的问题使得设计出来的业务流程模型不一定能满足一致性以及合理性的要求。所以,我们亟待解决的问题就是检测业务流程模型的一致性。针对这个问题,现有的一致性检查方法重点还是关注控制流,即使考虑了其他观点,控制流也是首要考虑的,对数据的分析是忽略的。但对于同一个模型而言,只考虑控制流时是一致的,而考虑数据的时候可能会导致不一致。因此,在实际中,从控制流和数据流两方面建立业务流程模型具有很强的实用性,对所建的模型的合理性验证也需要从这两方面考虑。本文将二者融合,在行为轮廓的理论以及性质的基础上,结合紧密度的相关知识,对业务流程模型进行一致性分析。用配置的方法对流程模型建模能够实现重复使用设计模型的目的。可配置的业务流程提供了一种根据特定需求模拟配置的参考模型中的可变性的方法。其能够根据用户特殊的或不同的要求对活动进行不同的配置,从而达到优化以及简化流程设计的目的。本文则是根据配置变迁的特性满足了配置优化分析的要求。已有的研究很少考虑配置信息作为业务流程的行为限制性约束关系。本文利用部分日志建立源模型,计算剩余日志与源模型的紧密度,并引入配置变迁对根据部分日志建立的业务流程模型进行优化分析。主要研究内容如下所述:(1)针对数据信息约束下的业务流程Petri网模型的一致性分析问题,本文提出了利用紧密度的相关知识的分析方法。在业务流程运行过程中,数据流会随着变迁发生的变化而产生相应的变化,这对分析运行过程和执行结果添加了多样化和不确定性。因此,对包含数据信息约束下的流程模型分析变得极其重要。本文利用行为轮廓的理论基础知识,结合酒店预订系统流程的实例,把数据流Petri网和控制流Petri网结合起来建立一个融合网,利用紧密度的知识来度量一致性度。(2)本文利用行为紧密度和引入配置变迁提出了一种优化分析方法。首先根据给定事件日志中实例数较高的日志序列建立源模型,在合理性较高的情况下,计算源模型与剩余日志的行为紧密度,然后利用紧密度大的日志对源模型进行优化分析,最后引进了配置变迁进一步优化了业务流程模型。该方法将配置信息添加到优化的过程中,突破了已有的业务流程优化分析的局限性。