| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-13页 |
| 第一章 绪论 | 第13-29页 |
| ·引言 | 第13页 |
| ·研究背景 | 第13-22页 |
| ·Web服务与语义Web服务 | 第13-16页 |
| ·Web服务组合 | 第16-22页 |
| ·研究目标、思路及主要内容 | 第22-27页 |
| ·研究目标 | 第22-24页 |
| ·研究思路及主要内容 | 第24-27页 |
| ·本文结构 | 第27-29页 |
| 第二章 基于Petri网的Web服务及服务组合建模 | 第29-51页 |
| ·引言 | 第29-31页 |
| ·Petri网的基本概念 | 第31-35页 |
| ·OWL-S进程 | 第35-46页 |
| ·OWL-S原子进程的Petri网描述 | 第39-41页 |
| ·OWL-S复合进程的Petri Net描述 | 第41-46页 |
| ·基于颜色标签Petri网的Web服务组合模型 | 第46-50页 |
| ·本章小结 | 第50-51页 |
| 第三章 基于Petri网的语义Web服务组合 | 第51-75页 |
| ·引言 | 第51-53页 |
| ·Web服务组合中的依赖关系 | 第53-56页 |
| ·基于模糊推理Petri网的Web服务Petri网描述 | 第56-62页 |
| ·基于Petri网的Web服务依赖关系图 | 第62-65页 |
| ·基于模糊推理Petri网的Web服务组合 | 第65-68页 |
| ·基于推理Petri网推理的基本概念 | 第66-68页 |
| ·基于推理Petri网的Web服务组合两阶段算法 | 第68页 |
| ·基于推理Petri网的Web服务组合两阶段算法示例 | 第68-73页 |
| ·本章小结 | 第73-75页 |
| 第四章 可信Web服务组合的形式化验证 | 第75-97页 |
| ·引言 | 第75-77页 |
| ·Web服务组合的行为特性验证 | 第77-85页 |
| ·Web服务组合的可靠性验证 | 第85-94页 |
| ·实验结果与分析 | 第94-96页 |
| ·本章小结 | 第96-97页 |
| 第五章 Web服务组合事务模型及异常恢复 | 第97-125页 |
| ·引言 | 第97-99页 |
| ·Web服务组合中Web服务的活动特性及事务模型 | 第99-105页 |
| ·Web服务的活动特性 | 第99-102页 |
| ·Web服务组合的事务模型 | 第102-105页 |
| ·Web服务组合异常恢复的基本概念 | 第105-109页 |
| ·基于ECA规则的Web服务组合异常恢复 | 第109-115页 |
| ·基于ECA规则的Web服务组合异常恢复模型 | 第109-112页 |
| ·基于ECA规则的Web服务组合异常恢复实例 | 第112-115页 |
| ·基于层次式恢复算法WSCRecovery的Web服务组合异常恢复 | 第115-122页 |
| ·基于层次Petri网的WSCRecovery异常处理补偿模型 | 第115-118页 |
| ·Web服务组合异常处理恢复的WSCRecovery算法 | 第118-121页 |
| ·WSCRecovery算法正确性分析 | 第121-122页 |
| ·本章小结 | 第122-125页 |
| 第六章 Web服务组合辅助工具CPN4WSC原型 | 第125-135页 |
| ·引言 | 第125页 |
| ·基于CPN4WSC的Web服务组合系统模型 | 第125-128页 |
| ·Web服务组合辅助工具CPN4WSC原型系统 | 第128-134页 |
| ·JCPNetTool的设计 | 第128-131页 |
| ·CPN4WSC的功能 | 第131-134页 |
| ·本章小结 | 第134-135页 |
| 第七章 结束语 | 第135-139页 |
| ·主要工作和创新点 | 第135-136页 |
| ·工作展望 | 第136-139页 |
| 参考文献 | 第139-151页 |
| 读博期间发表和录用的论文 | 第151-152页 |
| 读博期间所参加的科研项目 | 第152-153页 |
| 致谢 | 第153页 |
