| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 插图清单 | 第12-13页 |
| 引言 | 第13-15页 |
| 1 绪论 | 第15-21页 |
| ·研究背景 | 第15-17页 |
| ·研究现状 | 第17-19页 |
| ·研究目的和意义 | 第19-20页 |
| ·内容安排 | 第20-21页 |
| 2 Web服务及Web环境 | 第21-29页 |
| ·引言 | 第21页 |
| ·Web服务 | 第21-23页 |
| ·Web服务基本概念 | 第21-22页 |
| ·Web服务体系结构 | 第22-23页 |
| ·Web服务组合 | 第23-26页 |
| ·Web服务组合提出 | 第23页 |
| ·Web服务组合实现框架 | 第23-24页 |
| ·Web服务组合方法 | 第24-26页 |
| ·Web环境 | 第26-27页 |
| ·Web环境定义 | 第26页 |
| ·Web环境对Web服务组合的约束 | 第26-27页 |
| ·Web环境组合 | 第27页 |
| ·Web服务、Web服务组合实例 | 第27-29页 |
| 3 开放Petri网及其性质 | 第29-37页 |
| ·引言 | 第29页 |
| ·Petri网 | 第29-31页 |
| ·Petri网基本概念 | 第29-30页 |
| ·Petri网优势 | 第30-31页 |
| ·开放Petri网 | 第31-37页 |
| ·开放Petri网定义 | 第31-32页 |
| ·开放Petri网结构性质 | 第32-33页 |
| ·开放Petri网行为性质 | 第33-34页 |
| ·开放Petri网分析方法 | 第34-37页 |
| 4 基于OPN的Web环境约束下Web服务组合正确性分析 | 第37-51页 |
| ·引言 | 第37页 |
| ·Web服务域和Web环境域 | 第37-38页 |
| ·Web环境对Web服务正确性的约束 | 第38-39页 |
| ·Web环境和Web服务的开放Petri网模型 | 第39-41页 |
| ·Web环境域和Web服务域的定义 | 第39-40页 |
| ·建模方法 | 第40-41页 |
| ·Web环境和Web服务的组合 | 第41-43页 |
| ·Web服务域/Web环境域组合的合理性 | 第43-47页 |
| ·合理性的定义 | 第43页 |
| ·多个合理OPN组合后的合理性 | 第43-46页 |
| ·Web服务域/Web环境域整体满足合理性的判定 | 第46-47页 |
| ·多个Web环境域/Web服务域组合后的合理 | 第47-49页 |
| ·多个Web服务域/Web环境域组合的死锁 | 第49-51页 |
| ·死锁的概念和Petri网模型 | 第49-50页 |
| ·Web服务域/Web环境域组合后整体无死锁的判定算法 | 第50-51页 |
| 5 实例分析和验证 | 第51-57页 |
| ·引言 | 第51页 |
| ·Web环境约束下的Web服务组合实例 | 第51-52页 |
| ·基于OPN的Web环境约束下的Web服务组合实例模型 | 第52页 |
| ·Web环境约束下的Web服务组合实例合理性分析 | 第52-53页 |
| ·Web环境约束下的Web服务组合实例无死锁分析 | 第53-54页 |
| ·可达序列验证Web环境约束下的Web服务组合的正确性 | 第54-55页 |
| ·算法性能分析 | 第55-57页 |
| 结论 | 第57-59页 |
| 参考文献 | 第59-64页 |
| 致谢 | 第64-65页 |
| 作者简介及读研期间主要科研成果 | 第65页 |
