| 摘要 | 第1-5页 |
| 目录 | 第5-7页 |
| 图目录 | 第7-8页 |
| 表目录 | 第8-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究背景 | 第9-12页 |
| ·本文工作 | 第12-13页 |
| ·论文组织 | 第13-15页 |
| 第二章 WEB服务及WEB服务组合技术 | 第15-33页 |
| ·WEB服务介绍 | 第15-21页 |
| ·Web服务体系结构 | 第15-16页 |
| ·Web服务协议栈 | 第16-20页 |
| ·Web服务特点 | 第20-21页 |
| ·WEB服务组合技术 | 第21-30页 |
| ·Web服务组合语言 | 第22-23页 |
| ·Web服务组合建模 | 第23-28页 |
| ·Web服务组合系统 | 第28-30页 |
| ·WEB服务组合建模当前研究分析 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 WEB服务组合模型WSC_ECPN | 第33-55页 |
| ·PETRI网介绍 | 第33-36页 |
| ·Petri网定义 | 第34-35页 |
| ·Petri网动态运行规则 | 第35-36页 |
| ·层次颜色PETRI网介绍 | 第36-40页 |
| ·颜色Petri网定义 | 第37-38页 |
| ·层次颜色Petri网定义 | 第38-40页 |
| ·WEB服务组合模型WSC_ECPN | 第40-51页 |
| ·WSC_ECPN模型定义 | 第40-44页 |
| ·WSC_ECPN模型特点 | 第44页 |
| ·WSC_ECPN模型描述能力分析 | 第44-51页 |
| ·基于WSC_ECPN的层次化设计 | 第51页 |
| ·基于WSC_ECPN的建模实例 | 第51-53页 |
| ·本章小结 | 第53-55页 |
| 第四章 WSC_ECPN模型分析与检测 | 第55-85页 |
| ·WSC_ECPN模型语法正确性检测 | 第55-59页 |
| ·WSC_ECPN模型控制流正确性分析检测 | 第59-65页 |
| ·WSC_C_(on)PN定义 | 第59页 |
| ·WSC_C_(on)PN变迁引发规则 | 第59-60页 |
| ·WSC_C_(on)PN正确性定义 | 第60-61页 |
| ·WSC_C_(on)PN错误分析 | 第61页 |
| ·WSC_C_(on)PN正确性检测 | 第61-65页 |
| ·WSC_ECPN模型数据依赖正确性分析检测 | 第65-73页 |
| ·WSC_ECPN模型数据依赖关系 | 第66-68页 |
| ·WSC_ECPN模型数据依赖错误分析 | 第68-69页 |
| ·选择分支间数据依赖检测 | 第69-72页 |
| ·循环数据依赖检测 | 第72-73页 |
| ·WSC_ECPN模型数据依赖与控制依赖冲突分析检测 | 第73-79页 |
| ·WSC_ECPN模型控制依赖关系及依赖关系 | 第73-77页 |
| ·WSC_ECPN模型数据依赖与控制依赖冲突分析 | 第77-78页 |
| ·WSC_ECPN模型数据依赖与控制依赖冲突检测 | 第78-79页 |
| ·WEB服务操作间数据映射正确性分析检测 | 第79-82页 |
| ·数据映射正确性定义 | 第79页 |
| ·数据映射正确性检测 | 第79-82页 |
| ·本章小结 | 第82-85页 |
| 第五章 WSC_ECPN模型动态运行仿真 | 第85-91页 |
| ·WSC_ECPN模型动态运行规则 | 第85-86页 |
| ·WSC_ECPN模型实例设定与仿真运行 | 第86-89页 |
| ·模型实例的设定 | 第86-87页 |
| ·模型实例的仿真运行 | 第87-89页 |
| ·流程实例的仿真运行过程 | 第89页 |
| ·本章小结 | 第89-91页 |
| 第六章 WEB服务组合原型系统的实现 | 第91-95页 |
| ·项目背景 | 第91页 |
| ·系统总体架构 | 第91-92页 |
| ·原型实现 | 第92-94页 |
| ·数据类型及变量声明 | 第92页 |
| ·流程设计 | 第92-93页 |
| ·流程正确性分析检测 | 第93-94页 |
| ·流程实例设定及仿真运行 | 第94页 |
| ·本章小结 | 第94-95页 |
| 第七章 结束语 | 第95-97页 |
| ·本文工作总结 | 第95-96页 |
| ·进一步研究方向 | 第96-97页 |
| 参考文献 | 第97-104页 |
| 致谢 | 第104-105页 |
| 作者简介 | 第105页 |