服务协同的适配机制与方法研究
| 致谢 | 第1-8页 |
| 摘要 | 第8-10页 |
| Abstract | 第10-18页 |
| 1 绪论 | 第18-29页 |
| ·背景与挑战 | 第18-23页 |
| ·服务计算 | 第19-21页 |
| ·服务适配 | 第21-23页 |
| ·研究动机与研究意义 | 第23-25页 |
| ·研究内容与主要贡献 | 第25-27页 |
| ·本文结构 | 第27-29页 |
| 2 研究基础与现状 | 第29-50页 |
| ·Web服务适配研究框架 | 第29-31页 |
| ·服务适配研究范畴 | 第29-31页 |
| ·服务适配的分类 | 第31页 |
| ·Web服务技术规范框架 | 第31-36页 |
| ·Web服务相关技术标准 | 第32-34页 |
| ·语义Web服务相关标准 | 第34-36页 |
| ·Web服务特征层适配 | 第36-41页 |
| ·Web服务行为兼容标准以及检验方法 | 第41-45页 |
| ·基于自动机的行为兼容标准及检验方法 | 第42-43页 |
| ·基于Petri网的行为兼容标准及检验方法 | 第43-45页 |
| ·基于进程代数的行为兼容标准 | 第45页 |
| ·Web服务行为层适配 | 第45-49页 |
| ·基于合同的行为适配方法 | 第46-47页 |
| ·基于模板的行为适配 | 第47-48页 |
| ·其他行为适配方法 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 3 基于子本体对齐的服务特征层自动适配 | 第50-71页 |
| ·问题分析 | 第50-52页 |
| ·案例分析 | 第52-55页 |
| ·基于XML Schema的OWL本体生成 | 第55-57页 |
| ·面向语义Web服务的子本体抽取 | 第57-63页 |
| ·现有子本体抽取技术分析 | 第57-58页 |
| ·代理本体的抽取 | 第58-63页 |
| ·适配器生成 | 第63-67页 |
| ·实验仿真与结果分析 | 第67-69页 |
| ·ROE性能测试 | 第67-68页 |
| ·适配准确率测试 | 第68-69页 |
| ·本章小结 | 第69-71页 |
| 4 基于线性逻辑的服务行为建模及兼容度计算 | 第71-105页 |
| ·引言 | 第71-72页 |
| ·线性逻辑简介 | 第72-75页 |
| ·基于线性逻辑的原子服务建模 | 第75-77页 |
| ·BPEL服务流程建模 | 第77-91页 |
| ·基础活动建模 | 第78-80页 |
| ·结构活动建模 | 第80-87页 |
| ·BPEL线性逻辑模型 | 第87-91页 |
| ·服务行为兼容度计算 | 第91-104页 |
| ·服务行为兼容标准 | 第91-92页 |
| ·基于行为路径的BPEL服务流程兼容度计算 | 第92-104页 |
| ·本章小结 | 第104-105页 |
| 5 基于命题求解的服务流程行为适配 | 第105-118页 |
| ·引言 | 第105-106页 |
| ·服务行为适配步骤 | 第106-107页 |
| ·流程死锁案例 | 第107-108页 |
| ·适配器规范定义 | 第108-110页 |
| ·适配目标定义 | 第110-111页 |
| ·适配器求解与生成 | 第111-117页 |
| ·Pi演算简介 | 第112-113页 |
| ·线性逻辑中的Pi演算嵌入 | 第113-114页 |
| ·适配器Pi演算流程抽取 | 第114-117页 |
| ·本章小结 | 第117-118页 |
| 6 Web服务适配原型系统 | 第118-127页 |
| ·WSAF系统架构及主要功能 | 第118-119页 |
| ·WSAF的主要组件 | 第119-121页 |
| ·WSAF原型实现 | 第121-126页 |
| ·服务管理-JTangSC | 第121-122页 |
| ·适配器生成及运行环境-JTangSynergy | 第122-125页 |
| ·适配器开发环境-JTangIDE | 第125-126页 |
| ·本章小结 | 第126-127页 |
| 7 总结与展望 | 第127-130页 |
| ·本文工作总结 | 第127-128页 |
| ·未来工作展望 | 第128-130页 |
| 参考文献 | 第130-139页 |
| 作者简历及在学期间所取得的科研成果 | 第139-140页 |
