Web服务编排协议映射模型及实现机制
| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 第1章 绪论 | 第10-16页 |
| 1.1 课题背景 | 第10-11页 |
| 1.2 选题目的及意义 | 第11页 |
| 1.3 国内外研究现状 | 第11-13页 |
| 1.4 主要研究内容 | 第13-14页 |
| 1.5 论文组织结构 | 第14-16页 |
| 第2章 服务编排和服务编制基础理论与技术分析 | 第16-26页 |
| 2.1 服务编排和服务编制 | 第16-20页 |
| 2.1.1 服务编排 | 第16-18页 |
| 2.1.2 服务编制 | 第18-19页 |
| 2.1.3 编排与编制区别 | 第19-20页 |
| 2.2 WS-CDL简介 | 第20-22页 |
| 2.3 有限状态自动机与Pi演算 | 第22-24页 |
| 2.4 Pi演算模型验证工具MWB | 第24-25页 |
| 2.5 本章小结 | 第25-26页 |
| 第3章 编排协议模型与映射机制 | 第26-42页 |
| 3.1 服务编排协议模型 | 第26-36页 |
| 3.1.1 结构模型 | 第26-29页 |
| 3.1.2 行为模型 | 第29-36页 |
| 3.2 协议映射机制 | 第36-41页 |
| 3.2.1 结构映射模型 | 第36-39页 |
| 3.2.2 行为映射模型 | 第39-41页 |
| 3.3 本章小结 | 第41-42页 |
| 第4章 服务编排映射执行机制 | 第42-58页 |
| 4.1 执行原理 | 第43-46页 |
| 4.2 实例引入 | 第46-53页 |
| 4.2.1 集中式编排协议描述 | 第47-51页 |
| 4.2.2 分散式编排协议描述 | 第51-53页 |
| 4.3 协议映射 | 第53-55页 |
| 4.4 服务编制执行 | 第55-57页 |
| 4.5 本章小结 | 第57-58页 |
| 第5章 服务编排到服务编制的一致性分析和模型验证 | 第58-68页 |
| 5.1 一致性分析 | 第58-61页 |
| 5.1.1 端口消息类型一致性 | 第58-60页 |
| 5.1.2 行为一致性 | 第60-61页 |
| 5.2 模型验证 | 第61-66页 |
| 5.3 本章小结 | 第66-68页 |
| 结论 | 第68-70页 |
| 参考文献 | 第70-74页 |
| 攻读学位期间承担的科研任务与主要成果 | 第74-75页 |
| 致谢 | 第75-76页 |
| 作者简介 | 第76页 |
