面向编排的Web服务组合演化相容性判定与分析
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-17页 |
| ·课题背景 | 第11-12页 |
| ·选题的目的及意义 | 第12-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·论文研究内容 | 第15-16页 |
| ·论文的组织结构 | 第16-17页 |
| 第2章 Web 服务组合的相关理论 | 第17-26页 |
| ·Web 服务的基本定义与面向服务的体系结构 | 第17-20页 |
| ·Web 服务的基本定义 | 第17-18页 |
| ·面向服务的体系结构 | 第18-20页 |
| ·Web 服务组合的基本理论 | 第20-22页 |
| ·Web 服务组合的基本概念 | 第20-21页 |
| ·Web 服务组合演化 | 第21页 |
| ·Web 服务组合验证方法 | 第21-22页 |
| ·基于 Pi 演算的服务进程建模方法 | 第22-24页 |
| ·Pi 演算的语法定义 | 第23页 |
| ·Pi 演算的操作语义 | 第23-24页 |
| ·本章小结 | 第24-26页 |
| 第3章 成员服务的端口及流程结构相容性判定 | 第26-38页 |
| ·Web 服务的形式化定义与启发案例 | 第26-28页 |
| ·Web 服务的形式化定义 | 第26-27页 |
| ·启发案例 | 第27-28页 |
| ·服务的端口相容性判定 | 第28-33页 |
| ·服务端口的基本定义 | 第28-29页 |
| ·服务端口的动作对称性判定规则 | 第29-30页 |
| ·消息类型一致性判定规则 | 第30-33页 |
| ·服务的流程结构相容性判定 | 第33-37页 |
| ·服务的流程结构的基本定义 | 第33-34页 |
| ·流程结构的相容性判定规则 | 第34-37页 |
| ·本章小结 | 第37-38页 |
| 第4章 成员服务的行为相容性判定 | 第38-46页 |
| ·服务相容性协同判定机制 | 第38-39页 |
| ·服务行为的基本定义 | 第39页 |
| ·服务行为的相容性判定 | 第39-41页 |
| ·服务行为的相容性判定规则 | 第39-41页 |
| ·服务并发行为的异常分析 | 第41-43页 |
| ·行为相容性判定规则的验证 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第5章 服务相容性判定规则的案例分析与系统测试 | 第46-51页 |
| ·服务端口相容性判定 | 第46-47页 |
| ·端口的动作对称性判定 | 第46页 |
| ·端口消息类型一致性判定 | 第46-47页 |
| ·流程结构相容性判定 | 第47-48页 |
| ·行为相容性判定 | 第48页 |
| ·服务组合原型的系统测试 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 结论 | 第51-53页 |
| 参考文献 | 第53-55页 |
