| 摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 目录 | 第10-13页 |
| 章节目录 | 第10-12页 |
| 图目录 | 第12-13页 |
| 第一章 绪论 | 第13-37页 |
| ·引言 | 第13-27页 |
| ·服务的社会社会的服务 | 第13-16页 |
| ·Web Service | 第16-21页 |
| ·面向服务的计算(SOC)和服务组合(Service Composition) | 第21-22页 |
| ·会话类服务(Session-Oriented E-Service) | 第22-26页 |
| ·基于自动机的接口行为描述 | 第26-27页 |
| ·本文所要解决的问题 | 第27-30页 |
| ·本文主要贡献 | 第30-32页 |
| ·本论文的结构和安排 | 第32页 |
| ·本章参考文献 | 第32-37页 |
| 第二章 会话类E-SERVICE的接口兼容和服务组合分析 | 第37-59页 |
| ·引言 | 第37-39页 |
| ·背景及相关工作 | 第39-41页 |
| ·背景 | 第39-40页 |
| ·相关工作 | 第40-41页 |
| ·会话类E-SERVICE接口模型 | 第41-44页 |
| ·接口兼容 | 第44-55页 |
| ·概述 | 第44-45页 |
| ·接口兼容算法 | 第45-55页 |
| ·实例验证 | 第55页 |
| ·本章小结 | 第55-56页 |
| ·本章参考文献 | 第56-59页 |
| 第三章 异步环境中的服务接口兼容分析 | 第59-72页 |
| ·引言 | 第59-60页 |
| ·服务接口模型 | 第60-61页 |
| ·异步环境下的协议兼容 | 第61-62页 |
| ·异步环境下的接口兼容 | 第62-70页 |
| ·消除组合自动机中的混合行为 | 第63-67页 |
| ·组合自动机合并后的混合行为 | 第67-68页 |
| ·接口兼容作为设计时的检查 | 第68页 |
| ·组合自动机的完备问题 | 第68-69页 |
| ·算法的复杂度 | 第69-70页 |
| ·本章小结 | 第70页 |
| ·本章参考文献 | 第70-72页 |
| 第四章 WSCI规范描述到结构化自动机的转换及其行为分析 | 第72-112页 |
| ·引言 | 第72-75页 |
| ·基于STATECHART的结构化模型 | 第75-79页 |
| ·WSCI到状态机的转换 | 第79-91页 |
| ·WSCI概念介绍 | 第79-82页 |
| ·WSCI转换到状态机 | 第82-91页 |
| ·WSCI接口兼容 | 第91-97页 |
| ·异步WSCI接口交互的可同步条件 | 第97-99页 |
| ·实例分析 | 第99-107页 |
| ·在组合框架中的应用 | 第107-109页 |
| ·本章小结 | 第109页 |
| ·本章参考文献 | 第109-112页 |
| 结束语 | 第112-115页 |
| 致谢 | 第115-117页 |
| 个人简历及参加的科研工作 | 第117-118页 |
| 附录:在攻博期间的论文及专利 | 第118页 |
