| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-19页 |
| ·研究背景和意义 | 第11-12页 |
| ·国内外研究现状 | 第12-17页 |
| ·Web 服务组合 | 第12-16页 |
| ·Web 服务组合的验证 | 第16-17页 |
| ·研究内容 | 第17-18页 |
| ·文章结构 | 第18-19页 |
| 第二章 相关技术和理论 | 第19-26页 |
| ·本体简介 | 第19-20页 |
| ·语义网描述语言 | 第20-23页 |
| ·本体的描述语言OWL | 第20-22页 |
| ·服务本体描述语言OWL-S | 第22-23页 |
| ·需求分析与SOFL | 第23-25页 |
| ·需求分析与形式化方法 | 第23-24页 |
| ·SOFL 简介 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于SOFL 的Web 服务匹配和组合的研究 | 第26-45页 |
| ·面向服务的基于SOFL 的需求描述 | 第26-29页 |
| ·基于本体和SOFL 的语义服务的描述 | 第29-31页 |
| ·服务的语义本体添加 | 第29页 |
| ·基于SOFL 的服务前置后置条件的描述 | 第29-31页 |
| ·基于SOFL 的服务组合的描述方法 | 第31-36页 |
| ·两阶段服务发现匹配机制 | 第36-44页 |
| ·第一阶段服务查找匹配机制：基于输入输出接口的本体的服务匹配 | 第36-41页 |
| ·第二阶段服务查找匹配机制：基于pre/post- condition 的服务匹配 | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 基于SOFL 的Web 服务流程验证 | 第45-56页 |
| ·使用SOFL 对业务流程验证的必要性 | 第45页 |
| ·验证业务流程的一致性 | 第45-47页 |
| ·验证业务流程的一致性示例 | 第47-53页 |
| ·验证业务流程的正确性 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 第五章 基于SOFL 的Web 服务组合系统框架与原型系统 | 第56-68页 |
| ·系统框架结构 | 第56-58页 |
| ·主要功能 | 第56-57页 |
| ·主要组件 | 第57-58页 |
| ·主要过程 | 第58页 |
| ·原型系统 | 第58-66页 |
| ·领域本体的构建 | 第58-59页 |
| ·服务的语义标注 | 第59-61页 |
| ·需求的描述 | 第61-62页 |
| ·SOFL 的解析 | 第62-64页 |
| ·服务匹配、组合与验证 | 第64-66页 |
| ·结果分析 | 第66-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 结论与展望 | 第68-70页 |
| ·结论 | 第68-69页 |
| ·展望 | 第69-70页 |
| 参考文献 | 第70-74页 |
| 致谢 | 第74-75页 |
| 攻读学位期间发表的学术论文 | 第75页 |
