随着网络技术的出现,企业渴望以灵活的方式组织企业,以面对激烈的竞争。在大多数应用领域中,业务需求被认为是至关重要的。为了满足企业各种各样的需求,经常需要将多个业务流程模型合并到单个业务流程中。但是,如果将整个流程模型进行合并会变得非常复杂而且计算量大、耗时长。因此,将业务流程片段进行合并并结合配置信息得到可配置的流程模型的研究具有重要意义。目前,有关的业务流程研究主要集中在业务流程合并以及变化传播上,很少涉及业务流程片段的研究。已有的业务流程合并通常是对类似的业务流程进行分析,确定和和映射各流程之间的相同任务,最后基于这些知识,将两个流程模型集成到一个简单的流程模型中。但是这种方法不仅工作量大,而且过程比较繁琐。通过利用业务流程片段进行合并,将业务流程片段与网关路径矩阵进行相互转换,并添加配置信息得到可配置业务流程,然后根据可配置网关找到合并业务流程片段的最大公共域,这种做法可以提高业务流程设计的效率。业务流程经常受到法律、法规或指南的限制,即服从性规则,更改它们可能会导致违反这些规则(不服从性)。已有的变化传播主要处理多个流程合作伙伴共同协作时,更改一个流程可能会对其他流程产生连锁反应。但是在协作流程中,很少有人分析服从性变化对流程协作的影响。本文以Petri网原理和行为轮廓的相关理论以及性质,并结合业务流程片段合并、变化传播、业务流程的服从性为基础,在给定业务流程片段的基础上,从网关路径矩阵的角度进行业务流程片段合并,将合并的网关路径矩阵进行配置和优化可得到可配置业务流程,并借助业务流程的服从性在协作业务流程中进行变化传播分析。本文主要内容有:(1)针对合并的业务流程模型的最大公共域问题,已有的文献主要集中在合并完整的业务流程模型时计算业务流程模型的最大公共域,很少从业务流程片段的角度分析最大公共域问题。本文提出了基于配置的业务流程片段合并的最大公共域分析方法。该方法通过对业务流程片段进行合并,以便于在业务流程设计中重用片段。本文首先将业务流程片段转换成网关路径矩阵,将两个对齐的网关路径矩阵进行合并,然后将得到网关路径矩阵进行优化并转换成可配置的业务流程片段,其次通过可配置网关以及业务流程片段与网关路径的映射关系发现合并业务流程片段的最大公共域,最后以具体的案例验证了该方法的有效性。该方法从网关路径的角度来分析最大域,并结合可配置网关有利于快速寻找业务流程片段的最大公共域。(2)针对完善网上购物业务流程问题,现有的业务流程挖掘方法还存在一些不足,它不能有效地利用业务流程的所有执行序列。本文提出了基于Petri网行为轮廓的网上购物流程的挖掘方法。首先根据某网上购物系统提供的事件日志,利用Petri网行为轮廓的弱序关系,设计出相应的流程模型;然后通过计算模型与事件日志之间的服从程度,并对初始模型进行了改进和优化,得到了较合理的流程模型。最后实例分析说明了算法具有一定的可行性。(3)针对协作流程间变化传播问题,已有研究主要集中在相似流程之间进行变化传播并确定相应目标变化域,但是很少关注流程模型服从性变化对协作流程会产生怎样的变化。本文提出了基于服从性的协作流程变化域传播分析方法。首先根据随机编排模型算法,生成随机编排模型,并推导出公共模型和私有模型,然后通过互连所有公共模型来构建协作模型,其次分析不同级别的服从性发生变化是如何在协作模型中传播的,紧接着通过模型之间的映射关系发现相关流程的变化域,最后根据实例验证方法的可行性。图[27]表[9]参[99]