基于接口自动机的服务组合验证研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·引言 | 第9-10页 |
| ·研究背景 | 第9页 |
| ·问题的提出 | 第9-10页 |
| ·国内外研究现状 | 第10-13页 |
| ·基于进程代数的服务组合建模研究现状 | 第10-11页 |
| ·基于Petri网的Web服务组合建模研究现状 | 第11页 |
| ·基于自动机的Web服务组组合建模研究现状 | 第11-12页 |
| ·面向服务质量的服务组合研究现状 | 第12-13页 |
| ·研究内容 | 第13页 |
| ·论文结构安排 | 第13-15页 |
| 第二章 相关技术研究 | 第15-25页 |
| ·Web服务及组合验证基础 | 第15-19页 |
| ·Web服务与SOA | 第15-17页 |
| ·Web服务组合基础 | 第17-18页 |
| ·BPEL相关技术介绍 | 第18-19页 |
| ·接口自动机理论 | 第19-23页 |
| ·接口自动机基本概念 | 第19-20页 |
| ·接口自动机组合理论 | 第20-23页 |
| ·Web服务的QoS属性 | 第23-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 一种基于接口自动机的服务组合模型 | 第25-47页 |
| ·引言 | 第25页 |
| ·语义服务接口自动机模型 | 第25-30页 |
| ·服务行为的语义描述 | 第25-27页 |
| ·语义服务接口自动机模型 | 第27-30页 |
| ·BPEL结构与模型的映射 | 第30-37页 |
| ·BPEL结构与模型的映射规则 | 第31-34页 |
| ·BPEL结构到模型的转换算法 | 第34-36页 |
| ·语义服务接口自动机模型完备性说明 | 第36-37页 |
| ·语义服务接口自动机模型组合验证算法 | 第37-41页 |
| ·语义服务接口自动机组合算法 | 第37-40页 |
| ·语义服务接口自动机功能验证算法 | 第40-41页 |
| ·实验仿真及结果分析 | 第41-45页 |
| ·相关工作比较 | 第45-46页 |
| ·本章小结 | 第46-47页 |
| 第四章 基于接口自动机的QoS需求验证模型 | 第47-57页 |
| ·引言 | 第47页 |
| ·服务质量QoS形式化描述 | 第47-49页 |
| ·QoS属性形式化描述 | 第47-48页 |
| ·QoS需求形式化描述 | 第48-49页 |
| ·扩展BPEL描述QoS描述 | 第49页 |
| ·QoS需求验证模型 | 第49-53页 |
| ·QoS需求验证过程 | 第49-51页 |
| ·QoS需求接口自动机模型 | 第51-52页 |
| ·QoS需求验证算法 | 第52-53页 |
| ·实验及结果分析 | 第53-55页 |
| ·实验准备 | 第53-54页 |
| ·实验结果分析 | 第54-55页 |
| ·相关工作比较 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第五章 总结与展望 | 第57-59页 |
| ·工作总结 | 第57页 |
| ·研究展望 | 第57-59页 |
| 参考文献 | 第59-64页 |
| 致谢 | 第64-65页 |
| 攻读学位期间主要的研究成果 | 第65页 |
