Web服务合成与可用性的若干关键技术研究
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-26页 |
| ·Web服务概述 | 第8-14页 |
| ·Web服务的架构 | 第9-10页 |
| ·Web服务的协议栈 | 第10-13页 |
| ·Web服务的特点 | 第13-14页 |
| ·Web服务合成 | 第14-21页 |
| ·Web服务合成相关概念 | 第14-16页 |
| ·Web服务合成描述语言 | 第16-17页 |
| ·Web服务合成建模方法 | 第17-21页 |
| ·合成分析存在问题 | 第21页 |
| ·Web服务的可用性 | 第21-24页 |
| ·Web服务替换的研究 | 第21-22页 |
| ·恢复机制研究 | 第22-24页 |
| ·研究内容 | 第24-25页 |
| ·论文结构 | 第25-26页 |
| 第二章 Web服务建模 | 第26-37页 |
| ·相关工作 | 第26-28页 |
| ·WSCI | 第28-30页 |
| ·CCS基础概念 | 第30-32页 |
| ·基于 WSCI为 Web服务建模 | 第32-36页 |
| ·Web服务流程建模 | 第32-33页 |
| ·用例 | 第33-36页 |
| ·本章小结 | 第36-37页 |
| 第三章 Web服务合成分析 | 第37-54页 |
| ·相关工作 | 第37-39页 |
| ·Web服务合成分析 | 第39-40页 |
| ·Web服务合成的相容性 | 第40-51页 |
| ·Web服务合成建模 | 第40-43页 |
| ·Web服务相容性分析 | 第43-47页 |
| ·服务相容性判定 | 第47-51页 |
| ·数据驱动的服务合成属性验证 | 第51-53页 |
| ·小结 | 第53-54页 |
| 第四章 Web服务的替换 | 第54-63页 |
| ·相关工作 | 第54-56页 |
| ·Web服务的替换 | 第56-59页 |
| ·上下文无关替换分析 | 第59-61页 |
| ·替换后合成属性验证 | 第61-62页 |
| ·小结 | 第62-63页 |
| 第五章 Web服务合成的恢复机制 | 第63-77页 |
| ·相关工作 | 第63-64页 |
| ·Web服务合成恢复的模型 | 第64-66页 |
| ·Web服务的恢复机制 | 第66-73页 |
| ·相关概念 | 第66-67页 |
| ·Web服务的恢复过程 | 第67-71页 |
| ·唯一性执行语义证明 | 第71-73页 |
| ·实现分析 | 第73-76页 |
| ·本章小结 | 第76-77页 |
| 第六章 相容与替换分析工具WS_CS | 第77-81页 |
| ·实现流程 | 第77-78页 |
| ·分析器WS_CS | 第78-80页 |
| ·相容性判断 | 第78-79页 |
| ·替换判断 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第七章 结论与展望 | 第81-83页 |
| ·结论 | 第81页 |
| ·未来工作 | 第81-83页 |
| 参考文献 | 第83-91页 |
| 攻读博士学位期间发表论文 | 第91-92页 |
| 参与的课题 | 第92页 |
| 获奖情况 | 第92-93页 |
| 后记 | 第93-94页 |
