| 摘要 | 第4-6页 |
| abstract | 第6-8页 |
| 注释表 | 第13-14页 |
| 第一章 绪论 | 第14-26页 |
| 1.1 研究背景 | 第14-17页 |
| 1.1.1 面向服务的体系架构与Web服务 | 第14-15页 |
| 1.1.2 服务组合 | 第15-17页 |
| 1.2 研究问题的提出与分析 | 第17-22页 |
| 1.2.1 研究问题的提出 | 第17-19页 |
| 1.2.2 研究问题的分析 | 第19-22页 |
| 1.3 论文的研究内容 | 第22-24页 |
| 1.4 论文的组织结构 | 第24-26页 |
| 第二章 服务接.、协议和语义建模 | 第26-39页 |
| 2.1 引言 | 第26-27页 |
| 2.2 基于XML的服务接.、协议和语义描述语言 | 第27-30页 |
| 2.2.1 服务的接.层描述 | 第27-28页 |
| 2.2.2 服务的协议层描述 | 第28-29页 |
| 2.2.3 服务的语义层描述 | 第29-30页 |
| 2.3 支持接.、协议和语义的服务描述模型 | 第30-33页 |
| 2.3.1 服务描述模型IPSFA | 第30-31页 |
| 2.3.2 IPSFA的组合模型 | 第31-33页 |
| 2.4 基于XML的服务描述语言到IPSFA模型的转换 | 第33-36页 |
| 2.4.1 基本活动转换 | 第33-34页 |
| 2.4.2 结构化活动转换 | 第34-36页 |
| 2.5 相关工作比较 | 第36-38页 |
| 2.6 本章小结 | 第38-39页 |
| 第三章 服务相容性判定与相容度计算 | 第39-56页 |
| 3.1 引言 | 第39-40页 |
| 3.2 服务的执行路径 | 第40-42页 |
| 3.3 支持接.、协议和语义的服务相容性判定 | 第42-47页 |
| 3.3.1 服务相容性标准讨论 | 第42-44页 |
| 3.3.2 服务之间三种相容性的定义及判定算法 | 第44-47页 |
| 3.4 支持接.、协议和语义的服务相容度计算 | 第47-50页 |
| 3.5 实例分析 | 第50-53页 |
| 3.6 相关工作比较 | 第53-55页 |
| 3.7 本章小结 | 第55-56页 |
| 第四章 面向设计阶段的适配器自动构造 | 第56-73页 |
| 4.1 引言 | 第56-57页 |
| 4.2 服务之间的消息映射 | 第57-59页 |
| 4.3 适配器模型的自动构造 | 第59-65页 |
| 4.3.1 适配器模型的语法和操作语义 | 第59-61页 |
| 4.3.2 基于约简思想的适配器模型构造 | 第61-64页 |
| 4.3.3 适配器模型构造的正确性讨论 | 第64-65页 |
| 4.4 适配器模型到BPEL代码的自动生成 | 第65-66页 |
| 4.5 实例分析 | 第66-70页 |
| 4.6 相关工作比较 | 第70-71页 |
| 4.7 本章小结 | 第71-73页 |
| 第五章 面向运行阶段的适配器重配置分析 | 第73-86页 |
| 5.1 引言 | 第73-74页 |
| 5.2 适配器的重配置问题描述及相关定义 | 第74-76页 |
| 5.3 适配器的重配置分析 | 第76-81页 |
| 5.3.1 后向迹符合判定 | 第76-78页 |
| 5.3.2 前向迹符合判定 | 第78页 |
| 5.3.3 基于前/后向迹符合的适配器的重配置分析 | 第78-81页 |
| 5.4 实例分析 | 第81-84页 |
| 5.5 相关工作比较 | 第84-85页 |
| 5.6 本章小结 | 第85-86页 |
| 第六章 支持相容性分析和适配的服务组合原型工具 | 第86-94页 |
| 6.1 系统架构和主要功能模块 | 第86-88页 |
| 6.2 工具的执行流程 | 第88-89页 |
| 6.3 工具的原型实现 | 第89-93页 |
| 6.4 本章小结 | 第93-94页 |
| 第七章 总结与未来工作 | 第94-96页 |
| 7.1 论文总结 | 第94-95页 |
| 7.2 未来工作 | 第95-96页 |
| 参考文献 | 第96-107页 |
| 致谢 | 第107-108页 |
| 在学期间的研究成果及发表的学术论文 | 第108-109页 |