Web服务组合的可靠性预测研究
| 摘要 | 第1-13页 |
| ABSTRACT | 第13-15页 |
| 第一章 绪论 | 第15-30页 |
| ·Web服务和面向服务的架构 | 第16-22页 |
| ·Web服务技术 | 第17-18页 |
| ·Web服务组合 | 第18-20页 |
| ·Web服务架构的可信性需求 | 第20-22页 |
| ·Web服务的可靠性 | 第22-24页 |
| ·单个构件Web服务的可靠性 | 第22-23页 |
| ·Web服务组合的可靠性 | 第23页 |
| ·利用Web服务组合可以获得更高的可靠性 | 第23-24页 |
| ·研究现状 | 第24-27页 |
| ·Web服务组合可靠性预测的研究现状 | 第24-26页 |
| ·存在的问题 | 第26-27页 |
| ·研究内容 | 第27-29页 |
| ·论文的结构 | 第29-30页 |
| 第二章 基于体系结构的软件可靠性预测模型 | 第30-52页 |
| ·软件可靠性概述 | 第30-35页 |
| ·软件可靠性定义 | 第30-31页 |
| ·失效和错误 | 第31页 |
| ·软件可靠性增长模型 | 第31-33页 |
| ·软件可靠性工程实践 | 第33-34页 |
| ·软件可靠性测试 | 第34-35页 |
| ·基于体系结构的可靠性模型及其分类 | 第35-40页 |
| ·基于状态的模型 | 第36-39页 |
| ·基于路径的模型 | 第39页 |
| ·附加模型 | 第39-40页 |
| ·基于体系结构的可靠性预测方法 | 第40-47页 |
| ·基于场景的并发构件软件可靠性预测 | 第40-41页 |
| ·基于场景的可靠性分析 | 第41-42页 |
| ·基于参数化契约的可靠性预测 | 第42-43页 |
| ·基于UML的可靠性评估方法 | 第43-44页 |
| ·Roshandel方法 | 第44-45页 |
| ·Wang方法 | 第45-47页 |
| ·SOA环境下的软件可靠性预测 | 第47-51页 |
| ·模型驱动的Web服务可靠性分析 | 第47页 |
| ·基于体系结构的Web服务可靠性预测 | 第47-48页 |
| ·Tsai的Web服务软件可靠性模型 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第三章 基于BPEL的组合服务可靠性预测 | 第52-83页 |
| ·基于业务流程执行语言BPEL的组合服务模型 | 第52-57页 |
| ·BPEL业务流程结构 | 第53-56页 |
| ·BPEL业务流程的主要特点 | 第56-57页 |
| ·基于组合服务流程网的组合服务行为建模 | 第57-63页 |
| ·随机petri网简介 | 第57-59页 |
| ·Web服务可靠性模型 | 第59-61页 |
| ·组合服务流程网模型 | 第61-63页 |
| ·基于BPEL的组合服务可靠性预测方法 | 第63-79页 |
| ·将BPEL流程转换为CSPNet模型 | 第64-76页 |
| ·建立模型的概率分布 | 第76-77页 |
| ·组合服务可靠性计算 | 第77-79页 |
| ·敏感性分析 | 第79-81页 |
| ·组合服务可靠性与构件服务可靠性的关系 | 第79-80页 |
| ·组合服务可靠性与使用剖面的关系 | 第80-81页 |
| ·相关工作比较 | 第81-82页 |
| ·本章小结 | 第82-83页 |
| 第四章 利用容错模式提高组合服务可靠性 | 第83-100页 |
| ·软件容错技术 | 第83-88页 |
| ·软件容错模式 | 第84-85页 |
| ·恢复块模式 | 第85页 |
| ·N版本程序设计 | 第85-87页 |
| ·Web服务中的容错机制 | 第87-88页 |
| ·BPEL中的错误处理机制 | 第88-91页 |
| ·利用BPEL实现软件容错模式 | 第91-94页 |
| ·容错模式的可靠性和性能评估 | 第94-99页 |
| ·容错模式的CSPNet模型 | 第94-96页 |
| ·实例研究 | 第96-99页 |
| ·本章小结 | 第99-100页 |
| 第五章 组合服务的可靠性优化 | 第100-110页 |
| ·Web服务组合的可靠性预测模型 | 第100-101页 |
| ·基于约束的组合服务可靠性优化 | 第101-105页 |
| ·基于恢复块模式的可靠性优化 | 第102-103页 |
| ·基于N版本程序设计模式的组合服务可靠性优化 | 第103-105页 |
| ·具备容错策略选择的组合服务可靠性优化 | 第105-108页 |
| ·问题描述 | 第105-106页 |
| ·基于Pareto最优解的可靠性优化算法 | 第106-108页 |
| ·算法复杂性分析 | 第108页 |
| ·相关工作比较 | 第108-109页 |
| ·本章小结 | 第109-110页 |
| 第六章 可靠性预测工具的设计与实现 | 第110-121页 |
| ·WS_RPTool体系结构 | 第110-111页 |
| ·WS_RPTool的设计与实现 | 第111-121页 |
| ·BPEL流程的QoS扩展 | 第111-112页 |
| ·抽象语法树生成 | 第112-117页 |
| ·转换为CSPNet模型 | 第117-121页 |
| 第七章 结束语 | 第121-124页 |
| ·所做的工作与创新 | 第121-122页 |
| ·未来的研究方向和进一步的工作 | 第122-124页 |
| 致谢 | 第124-126页 |
| 参考文献 | 第126-135页 |
| 攻读博士学位期间所发表论文情况 | 第135页 |
