上下文感知Web服务组合的动态演化技术研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-19页 |
| ·研究背景 | 第10-11页 |
| ·研究意义 | 第11-12页 |
| ·国内外研究现状 | 第12-17页 |
| ·上下文感知的Web服务组合的研究现状 | 第12-14页 |
| ·动态演化的研究现状 | 第14-16页 |
| ·上下文感知Web服务组合的动态演化研究现状 | 第16-17页 |
| ·存在的问题 | 第17页 |
| ·论文主要工作 | 第17-18页 |
| ·论文的研究目标 | 第17页 |
| ·论文的研究内容 | 第17-18页 |
| ·论文组织结构 | 第18-19页 |
| 第2章 基础知识介绍 | 第19-34页 |
| ·Web服务及其组合概述 | 第19-25页 |
| ·Web服务的定义及其特点 | 第19-22页 |
| ·Web服务组合 | 第22-25页 |
| ·BPEL技术 | 第25-28页 |
| ·BPEL概论 | 第25-26页 |
| ·BPEL在服务组合技术中的优势 | 第26-27页 |
| ·BPEL组件及功能 | 第27-28页 |
| ·上下文感知技术 | 第28-31页 |
| ·上下文和上下文分类 | 第29-30页 |
| ·上下文感知计算 | 第30-31页 |
| ·CCS进程代数 | 第31-32页 |
| ·本章小结 | 第32-34页 |
| 第3章 上下文感知Web服务组合的动态演化框架 | 第34-51页 |
| ·动态演化方式 | 第34-40页 |
| ·原子服务的动态演化 | 第34-35页 |
| ·组合服务的动态演化 | 第35-40页 |
| ·动态演化框架 | 第40-49页 |
| ·上下文感知层 | 第41-44页 |
| ·策略层 | 第44-47页 |
| ·演化层 | 第47-49页 |
| ·动态演化的实现机制 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第4章 动态演化验证 | 第51-62页 |
| ·BPEL基本元素映射为CCS进程代数 | 第51-58页 |
| ·系统行为一致性验证 | 第58-59页 |
| ·服务行为相容性验证 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 第5章 案例分析 | 第62-88页 |
| ·电子导游系统实例 | 第62-64页 |
| ·电子导游系统的BPEL语言描述 | 第64-80页 |
| ·电子导游系统的BPEL描述映射为CCS描述 | 第80-81页 |
| ·电子导游系统的动态演化及其形式化验证 | 第81-87页 |
| ·电子导游系统的动态演化 | 第81-83页 |
| ·电子导游系统行为一致性验证 | 第83-85页 |
| ·电子导游系统服务行为相容性验证 | 第85-87页 |
| ·本章小结 | 第87-88页 |
| 第6章 总结与展望 | 第88-90页 |
| ·论文总结 | 第88-89页 |
| ·下一步工作 | 第89-90页 |
| 参考文献 | 第90-93页 |
| 攻读学位期间公开发表论文情况 | 第93-94页 |
| 致谢 | 第94-95页 |
