基于Petri-Net与PI-Calculus的BPM模型的研究与实现

摘要

BPM是继工作流(Workflow)之后业界研究和实现业务管理的又一个新方向和热点,它不仅结合了最新的信息技术,对贯穿整个企业经营活动过程中的各类业务流程,进行了自动化、一体化和商务智能化的全面实现,而且将人、系统和信息紧密的纳入到业务流程的框架下,使它们之间的交互协作能产生更大的协同效应.该文旨在现有的BPM内涵与架构下,在现有的数学模型基础上,探讨了一种新的基于Petri-Net与Pi-Calculus的BPM实现模型,并且介绍一种实现该模型的技术设计方案.除第一章绪论与最后一章的结束语外,该文由四部分组成:第一部分首先介绍信息化与业务流程信息化之间的关系,分析业务流程信息化在企业信息化中所处的重要地位,以及业务流程的内涵,而后介绍业务流程信息化的发展历史,分析各阶段对应的技术或系统的优缺点,并引出业务流程信息化的新发展阶段:BPM;第二部分介绍BPM的定义、起源、现状、涵义、架构以及发展前景;而后在第三部分开始进入基于Petri-Net与Pi-Calculus的BPM实现模型的描述部分,此部分先简单介绍了Petri-Net与Pi-Calculus的一些基本数学概念,并对其数学模型进行简单的说明,然后借助于这些理论的基本思想、数学标示和语义,提出并建立了一种全新的BPM实现模型,同时借助于大量图表,重点对一些概念与模型构成元素在实现上进行详细探讨和说明,对其组织方式与处理逻辑进行细化、深化,并提出了一些有别于传统工作流和BPM实现模型的观点与实现方法;第四部分,则是对该模型对应的软件系统的具体实现,在技术上作了一些分析与探讨,提出了一个概要的功能框架.

目录

文摘

英文文摘

第一章绪论

1.1论文研究背景

1.2论文研究目的

1.3论文研究的意义

1.4论文的结构

第二章.业务流程信息化

2.1信息化与业务流程信息化

2.1.1企业信息化现状

2.1.2企业信息化存在的问题

2.1.3业务流程管理在企业信息化建设中的重要地位

2.2业务流程的涵义

2.3业务流程信息化的发展历史

2.3.1电子邮件与0A

2.3.2管理信息系统(MIS)

2.3.3工作流系统(Workflow)

2.3.4企业应用接口(EAI)

2.3.5业务流程管理(BPM)

第三章.BPM(Business Process Management，业务流程管理)

3.1 BPM的定义、起源与现状

3.2 BPM的涵义

3.3 BPM的一般模型架构

3.4 BPM的发展前景

第四章.基于Pi-Calculus与Petri-Net的BPM模型

4.1建立模型的前提

4.2 Petri-Net与Pi-Calculus

4.2.1 Petri-Net

4.2.2 Pi-Calculus

4.2.3 Petri-Net与Pi-Calculus的比较

4.3基于Petri-Net与Pi-Calculus的BPM模型的建立

4.4通道C

4.4.1消息缓冲队列

4.4.2通道束

4.4.3通道束流向模式

4.4.4通道束与Petri-Net和Pi-Calculus间的互换及精化

4.4.5结构良好的流程图

4.5节点N

4.5.1基本定义

4.5.2节点的执行方式

4.5.3节点的处理方式

4.5.4节点的处理人安排模式

4.5.5节点的部署

4.5.6节点的状态

4.6业务流程BP

4.7锁与锁的检测

4.8模型的层次结构

4.8.1模型的层次结构

4.8.2 M，P，S与核心层的关系

4.8.3 M、P、S之间的关系

4.8.4对传统业务系统的模拟

4.9流程消息数据M

4.9.1消息的分类

4.9.2业务消息的管理

4.9.3消息的维护与访问控制

4.9.4消息访问控制的数学描述

4.10流程相关人P

4.10.1流程参与人的角色划分

4.10.2流程参与人的组织与映射描述

4.10.3映射绑定

4.10.4流程与流程数据的访问控制

4.11系统S

第五章.基于Petri-Net与Pi-Calculus的BPM模型的基本实现

5.1主要实现思想

5.2技术架构

5.3建模工具的实现

5.4流程处理过程的实现

5.5统计分析的实现

5.6界面实现

5.7安全实现

第六章.结束语

参考文献：

攻读硕士学位期间发表的论文

致谢