| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 第一章 引言 | 第7-10页 |
| ·选题背景 | 第7页 |
| ·研究现状 | 第7-8页 |
| ·本文所做的研究工作和论文章节安排 | 第8-10页 |
| 第二章 WS-Management规范概述 | 第10-18页 |
| ·基于Web Services的管理模型 | 第10-12页 |
| ·WS-Management规范 | 第12-17页 |
| ·WS-Addressing子规范 | 第12-13页 |
| ·WS-Transfer子规范 | 第13-14页 |
| ·WS-Enumeration子规范 | 第14-16页 |
| ·WS-Eventing子规范 | 第16-17页 |
| ·本章小结 | 第17-18页 |
| 第三章 网络协议的验证技术 | 第18-26页 |
| ·协议形式化描述与验证技术 | 第18-20页 |
| ·协议的形式化描述 | 第18-19页 |
| ·协议验证技术 | 第19-20页 |
| ·Petri网理论 | 第20-24页 |
| ·Petri网的基本概念 | 第20-22页 |
| ·Petri网的主要性质 | 第22-23页 |
| ·Petri网的分析技术 | 第23-24页 |
| ·基于Petri网的协议形式化描述与验证技术 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第四章 WS-Management规范的验证与应用 | 第26-42页 |
| ·基于Petri网的验证 | 第26-33页 |
| ·WS-Transfer子规范的验证 | 第26-28页 |
| ·WS-Enumeration子规范的验证 | 第28-31页 |
| ·WS-Eventing子规范的验证 | 第31-33页 |
| ·基于WS-Management规范的管理系统的设计与实现 | 第33-40页 |
| ·管理系统的设计 | 第33-34页 |
| ·管理系统的实现 | 第34-40页 |
| ·本章小结 | 第40-42页 |
| 第五章 WS-Management规范的改进 | 第42-50页 |
| ·问题的引入 | 第42-44页 |
| ·WS-Eventing子规范中推模式的分析 | 第42-43页 |
| ·WS-Eventing子规范中拉模式的分析 | 第43-44页 |
| ·改进与比较 | 第44-48页 |
| ·基于WS-Eventing 子规范的改进 | 第44-45页 |
| ·随机Petri网与性能评价 | 第45-46页 |
| ·改进后规范的性能评价 | 第46-48页 |
| ·本章小结 | 第48-50页 |
| 第六章 总结与展望 | 第50-52页 |
| ·成果总结 | 第50页 |
| ·以后的工作 | 第50-52页 |
| 参考文献 | 第52-55页 |
| 攻读硕士学位期间发表的论文 | 第55-56页 |
| 致谢 | 第56-57页 |