| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第1章 绪论 | 第13-25页 |
| ·引言 | 第13-18页 |
| ·网络的发展 | 第13页 |
| ·Semantic Web | 第13-15页 |
| ·Services | 第15-16页 |
| ·Service-Oriented Architecture | 第16-17页 |
| ·Services与Intelligent Agents | 第17-18页 |
| ·本论文所要解决的问题 | 第18-19页 |
| ·问题的解决方案概述 | 第19-21页 |
| ·研究路径 | 第19-20页 |
| ·服务组合与软件生成 | 第20-21页 |
| ·问题的核心解决方案 | 第21页 |
| ·本论文的主要贡献 | 第21-22页 |
| ·本论文的结构和安排 | 第22-23页 |
| ·本章参考文献 | 第23-25页 |
| 第2章 Web Services及其组合 | 第25-39页 |
| ·Web Services相关规范介绍 | 第25-32页 |
| ·Web Services系统架构 | 第25-27页 |
| ·WSDL | 第27-28页 |
| ·OWL-S | 第28-31页 |
| ·BPEL | 第31-32页 |
| ·Web Services的自动化组合 | 第32-36页 |
| ·基于AI Planning技术的 | 第32-34页 |
| ·基于Program Synthesis技术的 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| ·本章参考文献 | 第37-39页 |
| 第3章 Semantic Web Services的语义 | 第39-57页 |
| ·描述Semantic Web Services语义的五个要素 | 第39-42页 |
| ·服务的语义 | 第42页 |
| ·服务上层本体 | 第42-44页 |
| ·应用示例:小镇信息查询 | 第44-46页 |
| ·服务语义之间的关联 | 第46-51页 |
| ·语义闭包(Semantic Closure) | 第47页 |
| ·服务语义的匹配、强匹配、等价 | 第47-49页 |
| ·匹配服务的副作用 | 第49-50页 |
| ·语义匹配、等价的逻辑判定法 | 第50-51页 |
| ·服务演算的语义含义 | 第51-54页 |
| ·原子服务与组合服务 | 第51-52页 |
| ·服务发现 | 第52-53页 |
| ·服务替换 | 第53页 |
| ·服务组合 | 第53-54页 |
| ·服务验证 | 第54页 |
| ·本章小结 | 第54-55页 |
| ·本章参考文献 | 第55-57页 |
| 第4章 组合服务 | 第57-91页 |
| ·组合服务的表达 | 第57-63页 |
| ·进程代数——Process Algebra | 第57页 |
| ·π-Calculus | 第57-59页 |
| ·π-Calculus vs.λ-Calculus | 第59-61页 |
| ·基于π-Calculus的组合服务表达方式 | 第61-63页 |
| ·组合服务的语义 | 第63-74页 |
| ·组合服务的语义演算算法:SCA | 第64-65页 |
| ·SCA算法解释 | 第65-67页 |
| ·SCA算法的应用示例 | 第67-72页 |
| ·服务验证过程示例 | 第72-74页 |
| ·基于中心控制点的组合服务进程模型 | 第74-83页 |
| ·数据流模型(DFM)与中心控制点模型(CCM) | 第74-76页 |
| ·模型转换算法:DFM2CCM | 第76-77页 |
| ·DFM2CCM算法解释 | 第77-79页 |
| ·转换算法应用示例 | 第79-83页 |
| ·BPEL脚本的生成 | 第83-87页 |
| ·从中心控制点模型到BPEL脚本的映射:CCM2BPEL | 第83-85页 |
| ·BPEL脚本生成示例 | 第85-87页 |
| ·本章小结 | 第87-88页 |
| ·本章参考文献 | 第88-91页 |
| 第5章 自动化服务组合技术 | 第91-121页 |
| ·基于逻辑定理证明的程序生成技术 | 第91-95页 |
| ·程序的自动化生成技术 | 第91-93页 |
| ·Otter自动定理证明系统介绍 | 第93-95页 |
| ·服务的自动化组合 | 第95-101页 |
| ·形式化表示:服务语义的逻辑转化 | 第95-97页 |
| ·逻辑证明:在系统中使用自动证明引擎 | 第97-99页 |
| ·程序提取算法(CSEA):获取目标服务的实现体 | 第99-101页 |
| ·应用示例:小镇信息查询 | 第101-111页 |
| ·所有的已有服务 | 第101-102页 |
| ·本体库导入过程 | 第102-103页 |
| ·语义信息输入到Otter证明引擎 | 第103-107页 |
| ·目标服务实现体的提取过程 | 第107-111页 |
| ·原型系统介绍 | 第111-118页 |
| ·简介 | 第111-113页 |
| ·运行示例 | 第113-118页 |
| ·本章小结 | 第118-119页 |
| ·本章参考文献 | 第119-121页 |
| 第6章 总结 | 第121-127页 |
| ·对目标问题的解决情况 | 第121-124页 |
| ·对"问题1"的回答 | 第121页 |
| ·对"问题2"的回答 | 第121-122页 |
| ·对"问题3"的回答 | 第122-123页 |
| ·对"问题4"的回答 | 第123-124页 |
| ·对核心问题的回答 | 第124页 |
| ·未来设想 | 第124-125页 |
| ·本章参考文献 | 第125-127页 |
| 附录 致谢 | 第127-129页 |
| 附录 作者在攻读博士期间发表的学术论文 | 第129页 |
