基于层次状态机的服务组合与验证
| 摘要 | 第3-4页 |
| ABSTRACT | 第4页 |
| 第1章 绪论 | 第7-16页 |
| 1.1 研究背景 | 第7-8页 |
| 1.2 国内外研究现状 | 第8-14页 |
| 1.2.1 基于工作流的Web服务组合方法 | 第8-9页 |
| 1.2.2 基于形式化的Web服务组合方法 | 第9-10页 |
| 1.2.3 基于人工智能的Web服务组合方法 | 第10-13页 |
| 1.2.4 研究现状的总结和分析 | 第13-14页 |
| 1.3 论文结构 | 第14-16页 |
| 第2章 Web服务组合的基础理论概述 | 第16-21页 |
| 2.1 Web服务组合的定义 | 第16页 |
| 2.2 服务组合过程 | 第16-17页 |
| 2.3 Web服务描述语言 | 第17-21页 |
| 第3章 基于层次状态机的服务组合 | 第21-35页 |
| 3.1 状态机的引入 | 第21-22页 |
| 3.2 状态图 | 第22页 |
| 3.2.1 状态图的基本元素 | 第22页 |
| 3.2.2 状态图的表示方法 | 第22页 |
| 3.3 服务状态机 | 第22-25页 |
| 3.4 Web服务组合 | 第25-27页 |
| 3.5 服务组合存在性的验证 | 第27-30页 |
| 3.6 层次状态机 | 第30-35页 |
| 第4章 案例分析 | 第35-44页 |
| 4.1 汽车租赁系统的概念 | 第35-37页 |
| 4.2 汽车租赁系统建模 | 第37-39页 |
| 4.3 汽车租赁系统组合服务验证过程 | 第39-41页 |
| 4.4 汽车租赁系统中的实例验证结果展示 | 第41-44页 |
| 第5章 结论与未来工作展望 | 第44-45页 |
| 5.1 论文的主要工作 | 第44页 |
| 5.2 存在的问题和下一步研究方向 | 第44-45页 |
| 参考文献 | 第45-49页 |
| 在校期间发表的论文 | 第49-50页 |
| 致谢 | 第50页 |
