| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 绪论 | 第8-12页 |
| ·业务流程管理研究背景和现状 | 第8-9页 |
| ·论文研究选题的目的和意义 | 第9-10页 |
| ·本文主要完成的工作和创新点 | 第10页 |
| ·本文组织结构 | 第10-12页 |
| 第二章 相关技术基础 | 第12-22页 |
| ·业务流程管理 | 第12-14页 |
| ·工作流概述 | 第12页 |
| ·工作流模式概述 | 第12-14页 |
| ·面向主语(Subject-Oriented)的业务流程管理 | 第14-15页 |
| ·标准自然语言 | 第14-15页 |
| ·面向主语的业务流程管理 | 第15页 |
| ·业务流程建模方法 | 第15-22页 |
| ·ParalIel Activity Specification Scheme(PASS) | 第16-18页 |
| ·Business Process Model and Notation 2.0(BPMN2.0) | 第18-19页 |
| ·进程代数基本理论 | 第19-22页 |
| 第三章 S-BPM的建模方法研究 | 第22-46页 |
| ·S-BPM的建模方法 | 第22-24页 |
| ·PASS建模方法分析 | 第22-23页 |
| ·改进PASS的必要性 | 第23-24页 |
| ·定义PASS++ | 第24-27页 |
| ·S-BPM建模方法的准则 | 第24-25页 |
| ·PASS++主语交流层基本元素的定义 | 第25-26页 |
| ·PASS++主语内部行为层扩展状态和元素的定义 | 第26-27页 |
| ·PASS++的表达能力分析 | 第27-39页 |
| ·基本控制模式的PASS++描述 | 第28-30页 |
| ·高级分支和同步模式的PASS++描述 | 第30-33页 |
| ·结构化模式的PASS++描述 | 第33-34页 |
| ·多实例调用模式的PASS++描述 | 第34-37页 |
| ·基于状态的模式的PASS++描述 | 第37-38页 |
| ·取消模式的PASS++描述 | 第38-39页 |
| ·表达能力分析 | 第39页 |
| ·业务流程建模方法对比 | 第39-46页 |
| ·使用PASS++建模 | 第40-42页 |
| ·使用BPMN2.0建模 | 第42-43页 |
| ·对比分析 | 第43-46页 |
| 第四章 PASS++的理论基础和定制工具的基本结构 | 第46-58页 |
| ·PASS++到PI演算映射的必要性和可行性 | 第46-47页 |
| ·基础映射规则 | 第47-55页 |
| ·PASS++基本元素的对应关系 | 第47-48页 |
| ·PASS++基本控制结构的映射 | 第48-55页 |
| ·PASS++定制工具的基本结构 | 第55-58页 |
| 第五章 MWB平台形式化仿真验证 | 第58-64页 |
| ·MWB平台 | 第58-59页 |
| ·语义一致性形式化仿真验证 | 第59-61页 |
| ·正确性验证 | 第61-62页 |
| ·讨论 | 第62-64页 |
| 第六章 总结和展望 | 第64-66页 |
| ·全文工作总结 | 第64页 |
| ·下一步工作展望 | 第64-66页 |
| 参考文献 | 第66-70页 |
| 致谢 | 第70-72页 |
| 攻读研究生期间参加的工作和科研成果 | 第72页 |
