如今,业务流程管理(BPM)技术已得到发展,并已在小规模和大规模应用。有许多公司和组织实施了面向业务流程的信息系统。通过对已有的业务流程进行组合,可以形成更强大,适应性更强的业务流程。业务流程(BP)可以通过的Web服务操作形式组合在一起。为了在没有死锁的情况下组成业务流程,我们需要限制合作伙伴业务流程的行为。对于不希望公开内部流程的业务流程,尽管已经存在使用现有方法限制合作伙伴业务流程的方法,但是它无法处理包含批处理功能和传递值不确定性的业务流程。本文基于此研究意义,研究了基于逻辑工作流网进行工作流模型构建和分析的理论,即在工作流管理系统设计时,根据其运行特点和优势提出了有限组合概念,并结合逻辑工作流网进行模型无死锁分析。本文的主要研究工作可以归纳为以下几点:(1)针对逻辑工作流网的组合,根据逻辑变迁的传值不确定性以及逻辑工作流网组合的特点,引入多重集定义了新的状态转换图,并定义了状态转换图的基本性质,状态转换图的组合,状态转换图之间的映射,生成状态转换图的算法和为分析逻辑工作流网所提出的K映射与状态赋值。根据K映射与状态赋值,可以判断组合逻辑工作流网的死锁。(2)针对流程组合,传递消息的中介是具有容量上限的。对于现有的逻辑工作流网的组合,通过添加数据库所的约束条件,定义了逻辑工作流网的两类有限组合。有限组合更加符合现实中资源有限的特点,具有更好的可理解性,在一定程度上简化了死锁判断的难度。根据逻辑工作流网的两类组合,定义了状态转换图的有限组合,可以借用状态转换图的有限组合分析逻辑工作流网的有限组合。(3)基于状态转换图,根据状态赋值,可以计算得出某一状态的死锁情况,结合状态转换图组合时的对称特点,提出了标准状态转换图的概念。借助标准状态转换图,根据状态转换图之间的映射性质,提出了有限组合逻辑工作流网的无死锁判断方法。最后,使用一个简单的电子商务流程说明了无死锁判断方法。