基于动态语义的Web服务描述
| 目录 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 第一章 绪论 | 第10-16页 |
| ·语义Web服务描述 | 第10页 |
| ·研究现状和问题 | 第10-13页 |
| ·本文贡献和解决方案 | 第13-14页 |
| ·本文的组织 | 第14-16页 |
| 第二章 相关研究综述 | 第16-23页 |
| ·语法级服务描述 | 第16-17页 |
| ·UDDI和WSDL | 第16页 |
| ·BPEL4WS | 第16-17页 |
| ·语义级服务描述 | 第17-20页 |
| ·WSMO | 第17-19页 |
| ·METEOR-S | 第19页 |
| ·OWL-S | 第19-20页 |
| ·动态性服务描述理论 | 第20-21页 |
| ·小结 | 第21-23页 |
| 第三章 相关理论基础 | 第23-46页 |
| ·Web服务和相关技术 | 第23-27页 |
| ·Web服务的特征与架构 | 第23-24页 |
| ·服务标准 | 第24-27页 |
| ·语义Web | 第27-29页 |
| ·本体和描述逻辑 | 第29-35页 |
| ·本体的定义 | 第29-30页 |
| ·本体的分类 | 第30-31页 |
| ·本体描述语言 | 第31-33页 |
| ·描述逻辑 | 第33-35页 |
| ·语义Web服务 | 第35-41页 |
| ·概述 | 第36页 |
| ·Service Profile | 第36-37页 |
| ·Service Model | 第37-40页 |
| ·Service Grounding | 第40-41页 |
| ·基于应答集语义的逻辑程序 | 第41-45页 |
| ·语法 | 第41-42页 |
| ·应答集语义 | 第42页 |
| ·分裂理论 | 第42-45页 |
| ·小结 | 第45-46页 |
| 第四章 动态语义Web服务描述语言OWL-DS | 第46-72页 |
| ·动态语义Web服务描述模型 | 第46-49页 |
| ·描述模型的完备性 | 第46-48页 |
| ·目前描述模型的不足 | 第48-49页 |
| ·OWL-DS描述模型 | 第49-58页 |
| ·OWL-DS Process定义 | 第50-57页 |
| ·OWL-DS过程语义 | 第57-58页 |
| ·OWL-DS状态计算 | 第58-63页 |
| ·语义最近邻原则 | 第58-59页 |
| ·语义确定性原则 | 第59-63页 |
| ·动态语义计算 | 第63页 |
| ·基于OWL-DS的基本推导 | 第63-66页 |
| ·可执行性 | 第64页 |
| ·投射性 | 第64-65页 |
| ·一致性 | 第65-66页 |
| ·OWL-DS描述实例 | 第66-69页 |
| ·相关工作 | 第69-71页 |
| ·动态描述逻辑 | 第69-70页 |
| ·语义Web服务的动态语义 | 第70-71页 |
| ·小结 | 第71-72页 |
| 第五章 基于OWL-DS的语义匹配 | 第72-82页 |
| ·语义匹配与服务发现 | 第72-74页 |
| ·基于OWL-DS的语义匹配 | 第74-77页 |
| ·参数化Web过程 | 第74-76页 |
| ·语义匹配 | 第76页 |
| ·语义匹配类型 | 第76-77页 |
| ·语义匹配的计算 | 第77-78页 |
| ·实例分析 | 第78-79页 |
| ·相关工作 | 第79-80页 |
| ·小结 | 第80-82页 |
| 第六章 基于逻辑程序的语义Web服务描述 | 第82-107页 |
| ·反应式Web服务 | 第82-83页 |
| ·OWL-TDS描述模型 | 第83-98页 |
| ·OWL-TDS Process定义 | 第83-92页 |
| ·OWL-TDS过程语义 | 第92-94页 |
| ·OWL-TDS实例研究 | 第94-98页 |
| ·基于逻辑程序的Web服务转换 | 第98-105页 |
| ·基于逻辑程序的语义服务描述转换 | 第99-105页 |
| ·相关工作 | 第105-106页 |
| ·小结 | 第106-107页 |
| 第七章 OWL-TDS的基本推导服务 | 第107-114页 |
| ·引理 | 第107-111页 |
| ·基本过程推理 | 第111-113页 |
| ·小结 | 第113-114页 |
| 第八章 总结与展望 | 第114-117页 |
| ·主要内容回顾 | 第114页 |
| ·本文主要贡献 | 第114-115页 |
| ·下一步的工作展望 | 第115-117页 |
| 参考文献 | 第117-123页 |
| 致谢 | 第123-124页 |
| 攻读博士学位期间发表论文情况 | 第124-125页 |
| 附录A | 第125-136页 |
| 附录B | 第136-137页 |
