业务过程管理理论与若干关键技术研究
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第一章 绪论 | 第11-31页 |
| ·研究背景 | 第11-17页 |
| ·业务过程管理标准与相关技术分析 | 第17-26页 |
| ·对业务过程管理领域的标准组织与标准的分析 | 第17-24页 |
| ·业务过程管理与其它相关技术的对比分析 | 第24-26页 |
| ·本文的主要工作和组织结构 | 第26-31页 |
| 第二章 BPMN模型的形式化描述 | 第31-60页 |
| ·BPMN规范分析 | 第31-44页 |
| ·BPMN的主要绘图元素 | 第31-34页 |
| ·BPMN绘图元素之间的连接规则 | 第34-36页 |
| ·BPMN模型的控制结构 | 第36-44页 |
| ·对BPMN规范的评价 | 第44-45页 |
| ·BPMN模型的pi演算描述 | 第45-58页 |
| ·Pi演算概述 | 第45-48页 |
| ·过程行为相关元素的形式化描述 | 第48-55页 |
| ·服务组合的pi演算描述 | 第55-58页 |
| ·相关工作 | 第58-60页 |
| 第三章 L网与业务过程网 | 第60-73页 |
| ·概述 | 第60-61页 |
| ·L网 | 第61-65页 |
| ·Petri网的定义 | 第61-63页 |
| ·L网系统的定义 | 第63-65页 |
| ·业务过程网 | 第65-69页 |
| ·相关工作 | 第69-73页 |
| 第四章 基于业务过程网的过程模型可达性分析 | 第73-91页 |
| ·概述 | 第73-74页 |
| ·BP网可达性的定义 | 第74-75页 |
| ·Q代数 | 第75-77页 |
| ·基于Q代数的BP网可达性分析 | 第77-89页 |
| ·基于Q代数的BP网可达性分析的原理 | 第77-82页 |
| ·输入输出无关变迁的可达度计算 | 第82-86页 |
| ·输入输出相关变迁的可达度计算 | 第86-89页 |
| ·相关工作 | 第89-91页 |
| 第五章 企业资源模型 | 第91-104页 |
| ·对工作流的重新思考 | 第91-94页 |
| ·企业资源模型的定义 | 第94-97页 |
| ·企业资源模型的操作 | 第97-99页 |
| ·企业资源模型的完备性 | 第99-101页 |
| ·完备性的定义 | 第99-101页 |
| ·完备性检查的一种实现方案 | 第101页 |
| ·相关工作 | 第101-104页 |
| 第六章 一种业务过程管理系统参考模型 | 第104-116页 |
| ·概述 | 第104-106页 |
| ·业务过程管理系统参考模型 | 第106-109页 |
| ·SynchroBPM4RM的设计与实现 | 第109-112页 |
| ·一个过程执行的例子 | 第112-114页 |
| ·服务修改对过程实例的影响 | 第114页 |
| ·业务过程参考模型与WfMC工作流参考模型的比较 | 第114-116页 |
| 第七章 总结与展望 | 第116-120页 |
| ·论文的主要研究内容及成果 | 第116-118页 |
| ·论文的局限性 | 第118页 |
| ·进一步的研究 | 第118-120页 |
| 参考文献 | 第120-129页 |
| 攻读博士学位期间参与的科研项目 | 第129-130页 |
| 攻读博士学位期间发表的论文目录 | 第130-131页 |
| 致谢 | 第131页 |
