| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第7-9页 |
| 图目录 | 第9-10页 |
| 縮略语 | 第10-11页 |
| 第一章 绪论 | 第11-15页 |
| 1.1 选题背景及意义 | 第11-13页 |
| 1.2 主要研究工作及贡献 | 第13-14页 |
| 1.3 论文组织结构 | 第14-15页 |
| 第二章 相关研究工作 | 第15-24页 |
| 2.1 网络管理系统介绍 | 第15-19页 |
| 2.1.1 BRUW | 第15-16页 |
| 2.1.2 AutoBAHN | 第16页 |
| 2.1.3 PerfSONAR | 第16-18页 |
| 2.1.4 UCLP | 第18-19页 |
| 2.2 业务流程管理简介 | 第19-21页 |
| 2.3 业务流程建模工具介绍 | 第21-22页 |
| 2.3.1 UML | 第21页 |
| 2.3.2 BPMN | 第21-22页 |
| 2.3.3 WebSphere Business Modeler | 第22页 |
| 2.4 模型验证研究现状 | 第22-24页 |
| 第三章 域间协作网络管理系统的业务流程分析与建模 | 第24-35页 |
| 3.1 域间协作网络管理系统 | 第24-25页 |
| 3.1.1 系统框架 | 第24页 |
| 3.1.2 模块功能介绍 | 第24-25页 |
| 3.2 域间协作网络管理系统的业务流程分析 | 第25-29页 |
| 3.2.1 业务流程分析意义 | 第25页 |
| 3.2.2 业务流程分析结果 | 第25-29页 |
| 3.3 域间协作网络管理系统的业务流程建模 | 第29-34页 |
| 3.3.1 Petri网 | 第29-31页 |
| 3.3.2 业务流程建模 | 第31-34页 |
| 3.4 本章小结 | 第34-35页 |
| 第四章 域间协作网络管理系统的业务流程模型验证 | 第35-49页 |
| 4.1 业务流程模型验证 | 第35-36页 |
| 4.1.1 模型验证意义 | 第35页 |
| 4.1.2 模型验证内容 | 第35-36页 |
| 4.2 提出的模型验证方法 | 第36-48页 |
| 4.2.1 Petri网关联矩阵 | 第36-39页 |
| 4.2.2 提出的模型验证方法介绍 | 第39-42页 |
| 4.2.3 提出的模型验证方法应用 | 第42-48页 |
| 4.3 本章小结 | 第48-49页 |
| 第五章 域间协作网络管理系统的业务流程实现 | 第49-56页 |
| 5.1 域间协作网络管理系统的业务流程实现 | 第49-53页 |
| 5.1.1 jBPM | 第49-50页 |
| 5.1.2 业务流程实现 | 第50-53页 |
| 5.2 域间协作网络管理系统的业务流程部署 | 第53-55页 |
| 5.3 本章小结 | 第55-56页 |
| 第六章 结束语 | 第56-59页 |
| 6.1 本文总结 | 第56页 |
| 6.2 未来工作展望 | 第56-57页 |
| 6.3 研究生期间工作 | 第57-59页 |
| 6.3.1 发表论文 | 第57页 |
| 6.3.2 参与项目 | 第57页 |
| 6.3.3 主要负责的工作 | 第57-58页 |
| 6.3.4 提交文档 | 第58-59页 |
| 参考文献 | 第59-61页 |
| 致谢 | 第61-62页 |
| 攻读学位期间发表的学术论文目录 | 第62页 |