| 摘要 | 第1-5页 |
| abstract | 第5-10页 |
| 第一章 绪论 | 第10-18页 |
| ·课题背景及意义 | 第10-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·本文主要研究工作 | 第15页 |
| ·论文组织 | 第15-17页 |
| ·本章小结 | 第17-18页 |
| 第二章 形式化与半形式化验证理论 | 第18-34页 |
| ·BPMN核心元素 | 第18-24页 |
| ·流程管理（BPM）和业务流程建模 | 第22-24页 |
| ·Petri网及其映射 | 第24-27页 |
| ·π-演算及其映射 | 第27-32页 |
| ·π-演算的基本概念 | 第28-29页 |
| ·π-演算的语法 | 第29-30页 |
| ·π-演算的结构等同规则 | 第30页 |
| ·BPMN到π-演算的映射规则 | 第30-32页 |
| ·本章小结 | 第32-34页 |
| 第三章 Petri网和π-演算验证BPMN业务流程实现 | 第34-44页 |
| ·Petri网验证BPMN流程 | 第34-37页 |
| ·死锁和活锁的定义 | 第34-35页 |
| ·Petri网的死锁分析与验证 | 第35-36页 |
| ·Petri网的活锁分析与验证 | 第36-37页 |
| ·π-演算验证BPMN流程 | 第37-42页 |
| ·π-演算的死锁分析与验证 | 第39-40页 |
| ·π-演算的活锁分析与验证 | 第40-42页 |
| ·本章小结 | 第42-44页 |
| 第四章 统一建模平台的BPMN业务流程验证 | 第44-62页 |
| ·死锁和活锁的定义 | 第44-46页 |
| ·统一平台的验证方法的设计与实现 | 第46-52页 |
| ·验证算法 | 第46-50页 |
| ·流程到java代码的转换 | 第50-52页 |
| ·统一平台的死锁分析与验证 | 第52-56页 |
| ·统一平台的活锁分析与验证 | 第56-59页 |
| ·实例验证 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 第五章 实验验证结果分析与总结 | 第62-64页 |
| ·验证结果分析 | 第62-63页 |
| ·统一建模平台验证BPMN业务流程优点 | 第63页 |
| ·本章小结 | 第63-64页 |
| 第六章 总结与展望 | 第64-66页 |
| 参考文献 | 第66-70页 |
| 致谢 | 第70-72页 |
| 附录 1 | 第72-76页 |
| 附录 2 | 第76-78页 |
| 攻读硕士学位期间发表的学术论文 | 第78页 |