| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-16页 |
| ·课题研究背景及意义 | 第10-12页 |
| ·Web 服务相关技术及其不足 | 第10-11页 |
| ·本体和PSMs 对Web 服务的贡献 | 第11-12页 |
| ·当前研究现状及选题依据 | 第12-13页 |
| ·国内外研究现状 | 第12-13页 |
| ·选题依据 | 第13页 |
| ·论文工作 | 第13-16页 |
| ·论文工作目标 | 第13-14页 |
| ·论文内容组织 | 第14-16页 |
| 第二章 语义WEB 服务关键技术研究 | 第16-26页 |
| ·语义WEB 与本体 | 第16-18页 |
| ·语义Web | 第16-17页 |
| ·本体 | 第17-18页 |
| ·问题求解方法及其描述框架 | 第18-21页 |
| ·问题求解方法PSMs | 第18-19页 |
| ·统一问题求解开发语言UPML | 第19-21页 |
| ·语义WEB 服务及现有的描述技术 | 第21-25页 |
| ·语义Web 服务简介 | 第21-23页 |
| ·现有的语义Web 服务描述技术 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 框架的静态语义模型S-WSSM | 第26-41页 |
| ·用例简介 | 第26-27页 |
| ·S-WSSM 的总体结构 | 第27-29页 |
| ·设计原则 | 第27页 |
| ·顶层元素 | 第27-29页 |
| ·S-WSSM 中各组成元素 | 第29-39页 |
| ·本体 | 第29-30页 |
| ·领域描述 | 第30-33页 |
| ·任务描述 | 第33-35页 |
| ·Web 服务描述 | 第35-37页 |
| ·精化器 | 第37-38页 |
| ·映射 | 第38-39页 |
| ·S-WSSM 的特点 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 框架的动态语义模型D-WSSM | 第41-52页 |
| ·D-WSSM 的定义 | 第41-42页 |
| ·任务驱动的服务发现 | 第42-43页 |
| ·服务的领域适配 | 第43-46页 |
| ·映射本体 | 第43-45页 |
| ·适配描述 | 第45-46页 |
| ·服务调用与组合 | 第46-51页 |
| ·抽象状态机ASM | 第47-48页 |
| ·服务调用机制Choreography | 第48-51页 |
| ·服务组合机制Orchestration | 第51页 |
| ·本章小结 | 第51-52页 |
| 第五章 框架的设计与实现 | 第52-64页 |
| ·框架的体系结构 | 第52-55页 |
| ·框架功能及设计原则 | 第53页 |
| ·框架结构 | 第53-55页 |
| ·框架的静态设计 | 第55-59页 |
| ·通用类和顶层元素类 | 第55-56页 |
| ·本体相关类 | 第56-57页 |
| ·逻辑表达式相关类 | 第57-58页 |
| ·任务和Web 服务相关类 | 第58-59页 |
| ·框架的动态设计 | 第59-63页 |
| ·外部行为接口 | 第59-60页 |
| ·内部执行语义 | 第60-63页 |
| ·框架的特点 | 第63页 |
| ·本章小结 | 第63-64页 |
| 第六章 总结与未来工作 | 第64-67页 |
| ·总结 | 第64-65页 |
| ·未来工作 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 致谢 | 第71-72页 |
| 在学期间的研究成果 | 第72-73页 |
| 附录 | 第73-84页 |
| 附录1 时间日期本体、购买本体和地理位置本体 | 第73-75页 |
| 附录2 使用OWL+SWRL 实现的本体示例（机票本体） | 第75-80页 |
| 附录3 SWSMF 框架的类的实现 | 第80-84页 |