自动Web服务组合关键技术研究
| 摘要 | 第1-13页 |
| ABSTRACT | 第13-16页 |
| 第一章 绪论 | 第16-32页 |
| ·研究背景 | 第16-21页 |
| ·Web服务的应用需求 | 第16页 |
| ·基于Web服务的面向服务架构 | 第16-18页 |
| ·服务组合问题的提出 | 第18-19页 |
| ·Web服务技术基础 | 第19-21页 |
| ·相关研究现状 | 第21-27页 |
| ·基于工作流的服务组合方法 | 第21-23页 |
| ·基于AI规划的服务组合 | 第23-25页 |
| ·基于程序综合的自动服务组合方法 | 第25-26页 |
| ·研究现状总结与分析 | 第26-27页 |
| ·主要研究内容 | 第27-29页 |
| ·论文结构 | 第29-32页 |
| 第二章 自动Web服务语义标注方法 | 第32-45页 |
| ·引言 | 第32页 |
| ·Web服务的语义标注 | 第32-35页 |
| ·域定位算法 | 第35-40页 |
| ·实验结果及分析 | 第40-44页 |
| ·确定k值 | 第40-41页 |
| ·阀值确定策略 | 第41-42页 |
| ·本体对域定位的影响 | 第42页 |
| ·算法的有效性 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第三章 基于OWL语义的Web服务匹配方法 | 第45-68页 |
| ·引言 | 第45页 |
| ·OWL概述 | 第45-47页 |
| ·基于服务分层的服务匹配 | 第47-57页 |
| ·基本概念定义 | 第47-49页 |
| ·Web服务分层 | 第49-54页 |
| ·实验及结果分析 | 第54-57页 |
| ·基于OWL概念相似的Web服务相似度量 | 第57-64页 |
| ·OWL表达范式 | 第58-61页 |
| ·服务语义相似度量 | 第61-64页 |
| ·相关工作 | 第64-66页 |
| ·本章小结 | 第66-68页 |
| 第四章 基于图的自动Web服务组合方法 | 第68-84页 |
| ·引言 | 第68页 |
| ·服务组合问题描述 | 第68-71页 |
| ·服务组合问题规划建模 | 第71-73页 |
| ·自动Web服务组合方法 | 第73-79页 |
| ·组合规划图构造 | 第73-77页 |
| ·组合解搜索 | 第77-79页 |
| ·实验及结果分析 | 第79-82页 |
| ·本章小结 | 第82-84页 |
| 第五章 服务交互正确性验证和分析方法 | 第84-104页 |
| ·引言 | 第84页 |
| ·Web服务行为建模 | 第84-89页 |
| ·WF-Net | 第85-86页 |
| ·Service-Net | 第86-89页 |
| ·Web服务交互建模 | 第89-93页 |
| ·协议兼容验证和分析 | 第93-100页 |
| ·服务交互的合理性定义 | 第93-96页 |
| ·交互协议合理性验证 | 第96-100页 |
| ·相关工作及比较 | 第100-102页 |
| ·本章小结 | 第102-104页 |
| 第六章 BPEL服务组合的正确性验证 | 第104-124页 |
| ·引言 | 第104页 |
| ·BPEL简介 | 第104-106页 |
| ·转换规则 | 第106-118页 |
| ·消息和类型的转换 | 第106页 |
| ·基本活动的转换 | 第106页 |
| ·基本活动的转换 | 第106-110页 |
| ·结构化活动的转换 | 第110-115页 |
| ·链接语义的转换 | 第115-118页 |
| ·转换示例 | 第118-120页 |
| ·相关工作 | 第120-122页 |
| ·本章小结 | 第122-124页 |
| 第七章 总结与展望 | 第124-128页 |
| ·本文主要贡献 | 第124-126页 |
| ·今后研究工作 | 第126-128页 |
| 致谢 | 第128-130页 |
| 参考文献 | 第130-142页 |
| 攻读博士学位期间已发表和撰写的论文 | 第142-144页 |
| 攻读博士学位期参与的科研课题 | 第144页 |
