| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| §1.1 引言 | 第7页 |
| §1.2 课题研究目的意义 | 第7-8页 |
| §1.3 研究内容 | 第8-11页 |
| §1.3.1 研究现状 | 第9-10页 |
| §1.3.2 论文主要工作与创新点 | 第10-11页 |
| §1.4 内容组织 | 第11-12页 |
| 第二章 Web服务组合与分层Petri网基础 | 第12-24页 |
| §2.1 引言 | 第12页 |
| §2.2 Web服务及其组合基础 | 第12-20页 |
| §2.2.1 Web服务基础 | 第12-14页 |
| §2.2.2 Web服务组合基础 | 第14-16页 |
| §2.2.3 Web服务组合语言 | 第16-19页 |
| §2.2.4 Web服务组合验证 | 第19-20页 |
| §2.3 分层Petri网基础 | 第20-23页 |
| §2.3.1 Petri网 | 第20页 |
| §2.3.2 分层Petri网 | 第20-23页 |
| §2.4 本章小结 | 第23-24页 |
| 第三章 基于分层Petri网的Web服务建模 | 第24-52页 |
| §3.1 引言 | 第24页 |
| §3.2 WS-BPEL结构分析 | 第24-26页 |
| §3.2.1 基本元素 | 第24-25页 |
| §3.2.2 活动 | 第25-26页 |
| §3.3 分层Petri网对WS-BPEL描述的Web服务建模 | 第26-51页 |
| §3.3.1 分层Petri网对BPEL元素活动建模 | 第28-36页 |
| §3.3.2 分层petri网对BPEL结构类型活动建模 | 第36-51页 |
| §3.4 本章小结 | 第51-52页 |
| 第四章 基于分层Petri网的Web服务组合建模与化简 | 第52-60页 |
| §4.1 引言 | 第52页 |
| §4.2 基于分层Petri网的Web服务组合建模 | 第52-57页 |
| §4.2.1 基于分层Petri网的Web服务组合算法 | 第52-53页 |
| §4.2.2 组合实例分析 | 第53-56页 |
| §4.2.3 基于分层Petri网的Web服务组合建模小结 | 第56-57页 |
| §4.3 基于分层Petri网的Web服务组合的化简 | 第57-59页 |
| §4.3.1 基本化简规则 | 第57-58页 |
| §4.3.2 重要性与意义 | 第58-59页 |
| §4.4 本章小结 | 第59-60页 |
| 第五章 分层Petri网的Web服务组合验证与工具分析设计 | 第60-71页 |
| §5.1 引言 | 第60页 |
| §5.2 基于分层Petri网的Web服务组合建模验证 | 第60-66页 |
| §5.2.1 Petri网验证基本方法 | 第60-61页 |
| §5.2.2 可达树验证基本原理 | 第61-62页 |
| §5.2.3 实例验证 | 第62-66页 |
| §5.3 基于分层Petri网的Web服务组合建模工具分析设计 | 第66-69页 |
| §5.3.1 开发背景和开发环境概述 | 第66-67页 |
| §5.3.2 改进技术路线 | 第67页 |
| §5.3.3 功能模块 | 第67-68页 |
| §5.3.4 设计与实现 | 第68-69页 |
| §5.4 本章小结 | 第69-71页 |
| 第六章 总结与展望 | 第71-73页 |
| §6.1 总结 | 第71-72页 |
| §6.2 展望 | 第72-73页 |
| 参考文献 | 第73-78页 |
| 硕士期间发表论文及荣誉 | 第78-79页 |
| 致谢 | 第79页 |
