| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-16页 |
| ·研究背景 | 第9-11页 |
| ·研究现状 | 第11-14页 |
| ·基于工作流的Web服务组合 | 第12页 |
| ·基于语义的Web服务组合 | 第12-13页 |
| ·基于Petri网的Web服务组合 | 第13-14页 |
| ·本文工作 | 第14页 |
| ·论文组织结构 | 第14-16页 |
| 第2章 Web服务及其应用 | 第16-27页 |
| ·Web服务相关技术 | 第16-22页 |
| ·Web服务概述 | 第16-17页 |
| ·Web服务定义 | 第17-18页 |
| ·Web服务体系结构 | 第18-20页 |
| ·Web服务相关协议 | 第20-22页 |
| ·Web服务组合相关技术 | 第22-27页 |
| ·Web服务组合的构成 | 第22-23页 |
| ·Web服务的相关语言 | 第23-24页 |
| ·Web服务组合的建模 | 第24-25页 |
| ·Web服务组合模型的验证 | 第25-27页 |
| 第3章 Web服务的组合模型 | 第27-38页 |
| ·Petri网概述 | 第27-29页 |
| ·Petri网动态特性分析 | 第29-30页 |
| ·高级Petri网简介 | 第30-34页 |
| ·着色Petri网 | 第30-31页 |
| ·赋时Petri网 | 第31-33页 |
| ·着色赋时Petri网 | 第33-34页 |
| ·Web服务组合模型 | 第34-37页 |
| ·WSC－CTPN定义 | 第34-36页 |
| ·WSC－CTPN模型特点 | 第36-37页 |
| ·基于WSC－CTPN的层次化设计 | 第37-38页 |
| 第4章 基于工作流的WSC－CTPN运行规则及正确性验证 | 第38-54页 |
| ·WSC－CTPN的运行规则 | 第38-48页 |
| ·WSC－CPTN的基本变迁结构 | 第38-39页 |
| ·基于WSC－CTPN的Web服务组合基本运算 | 第39-45页 |
| ·基于WSC－CTPN的建模实例 | 第45-48页 |
| ·Petri网验证方法 | 第48-49页 |
| ·基于Petri网的WSC－CTPN模型正确性验证 | 第49-52页 |
| ·WSC－CTPN的安全性验证 | 第49-50页 |
| ·WSC－CTPN的可达性验证 | 第50-51页 |
| ·WSC－CTPN的死锁验证 | 第51-52页 |
| ·本章小节 | 第52-54页 |
| 第5章 基于WSC－CTPN的Web服务组合平台的设计与实现 | 第54-67页 |
| ·基于WSC－CTPN的Web服务组合平台的体系结构与功能结构 | 第54-56页 |
| ·Web服务组合的功能构成 | 第56-57页 |
| ·WSC－CTPN的实现技术 | 第57-58页 |
| ·Web服务组合工具的实现 | 第58-61页 |
| ·应用实例 | 第61-67页 |
| 第6章 总结与展望 | 第67-69页 |
| ·工作总结 | 第67-68页 |
| ·研究展望 | 第68-69页 |
| 参考文献 | 第69-74页 |
| 在读期间发表的论文情况 | 第74-75页 |
| 致谢 | 第75-76页 |
| 研究生履历 | 第76页 |
