| 论文创新点 | 第1-7页 |
| 摘要 | 第7-8页 |
| Abstract | 第8-15页 |
| 1 绪论 | 第15-21页 |
| ·研究背景 | 第15-17页 |
| ·研究动机 | 第17-18页 |
| ·研究内容 | 第18-19页 |
| ·论文的组织 | 第19-21页 |
| 2 研究基础与国内外现状 | 第21-41页 |
| ·Web服务及其体系结构 | 第21-23页 |
| ·Web服务组合方法 | 第23-30页 |
| ·基于工作流的的Web服务组合 | 第23-25页 |
| ·基于图论的Web服务组合 | 第25-26页 |
| ·基于人工智能的Web服务组合 | 第26-30页 |
| ·Web服务组合的验证方法 | 第30-32页 |
| ·基于Pi演算的Web服务组合验证 | 第30-31页 |
| ·基于Petri网的Web服务组合验证 | 第31-32页 |
| ·Web服务组合的监控方法 | 第32-34页 |
| ·Web服务组合的异常处理方法 | 第34-40页 |
| ·Web服务组合异常处理分类 | 第34-37页 |
| ·Web服务组合异常处理策略 | 第37-39页 |
| ·基于WS-BPEL的异常处理 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 3 基于蚁群算法的最优Web服务组合 | 第41-57页 |
| ·Web服务组合问题描述 | 第41-42页 |
| ·研究思路 | 第42-44页 |
| ·基于蚁群算法的最优Web服务组合建模 | 第44-54页 |
| ·基本蚁群算法 | 第44-45页 |
| ·改进的蚁群算法 | 第45-47页 |
| ·Web服务组合建模 | 第47-50页 |
| ·最优Web服务组合实现过程 | 第50-53页 |
| ·算法性能评价 | 第53-54页 |
| ·实验分析 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 4 基于模糊Petri网的Web服务组合形式化验证 | 第57-82页 |
| ·Web服务组合验证概述 | 第57-59页 |
| ·模糊Petri网 | 第59-61页 |
| ·改进模糊Petri网 | 第61-65页 |
| ·Web服务组合可达性与活性 | 第65-66页 |
| ·Web服务组合的正确性验证 | 第66-71页 |
| ·Web服务组合可靠性验证 | 第71-76页 |
| ·案例分析 | 第76-80页 |
| ·可达性验证 | 第76-78页 |
| ·可靠性分析 | 第78-79页 |
| ·Web服务组合可信度 | 第79-80页 |
| ·本章小结 | 第80-82页 |
| 5 基于事件演算的Web服务组合运行时异常监控 | 第82-107页 |
| ·Web服务组合监控概述 | 第82-83页 |
| ·事件演算基本元素与公理 | 第83-85页 |
| ·Web服务组合行为规约模型 | 第85-87页 |
| ·Web服务组合异常行为 | 第87-88页 |
| ·Web服务组合行为规约提取 | 第88-91页 |
| ·BPEL4WS核心活动 | 第88-89页 |
| ·基于BPEL4WS的Web服务组合模型 | 第89-91页 |
| ·映射模板设计 | 第91-97页 |
| ·基本活动映射模板设计 | 第91-93页 |
| ·结构化活动映射模板设计 | 第93-97页 |
| ·Web服务组合运行时监控机制 | 第97-100页 |
| ·Web服务组合运行时监控框架 | 第97-98页 |
| ·Web服务组合监控算法 | 第98-100页 |
| ·案例分析与评测 | 第100-105页 |
| ·Web服务组合行为规约模型构建 | 第100-103页 |
| ·Web服务组合异常行为分析 | 第103页 |
| ·BPEL4WS的事件演算表示 | 第103-105页 |
| ·Web服务组合异常监控 | 第105页 |
| ·本章小结 | 第105-107页 |
| 6 基于贝叶斯网络的Web服务组合异常处理 | 第107-127页 |
| ·贝叶斯网络概述 | 第107-110页 |
| ·Web服务组合异常处理框架 | 第110-112页 |
| ·Web服务组合异常处理贝叶斯网络模型 | 第112-123页 |
| ·Web服务组合到贝叶斯网络的映射 | 第112-114页 |
| ·贝叶斯网络的参数设置 | 第114-116页 |
| ·算法描述 | 第116-118页 |
| ·改进证据集选取 | 第118-123页 |
| ·实验与分析 | 第123-126页 |
| ·实验过程 | 第123-124页 |
| ·结果分析 | 第124-126页 |
| ·本章小结 | 第126-127页 |
| 7 总结与展望 | 第127-131页 |
| ·总结 | 第127-129页 |
| ·下一步的研究工作 | 第129-131页 |
| 参考文献 | 第131-143页 |
| 附录1 攻读博士学位期间发表的文章 | 第143-144页 |
| 附录2 攻读博士学位期间参与的研究项目 | 第144-145页 |
| 致谢 | 第145-146页 |
| 附件 | 第146-147页 |