| 中文摘要 | 第1-3页 |
| 英文摘要 | 第3-4页 |
| 目录 | 第4-8页 |
| 第一章 概述 | 第8-9页 |
| 第二章 WEB服务合成的框架 | 第9-19页 |
| 2．1 总体框架 | 第9-11页 |
| 2．2 WEB服务架构的基础设施 | 第11-13页 |
| 2．2．1 服务描述 | 第11-12页 |
| 2．2．2 服务发现 | 第12页 |
| 2．2．3 Web服务的架构 | 第12-13页 |
| 2．3 业务流程逻辑的生成 | 第13-14页 |
| 2．4 业务流程逻辑的表示 | 第14-16页 |
| 2．5 复合WEB服务的实例化和执行 | 第16-17页 |
| 2．6 业务流程逻辑的细化分层 | 第17-19页 |
| 第三章 本体论、DAML与DAML-S | 第19-27页 |
| 3．1 本体论ONTOLOGY | 第19-22页 |
| 3．1．1 本体论的定义 | 第19-20页 |
| 3．1．2 本体论的建模元语及描述语言 | 第20页 |
| 3．1．3 本体论的分类 | 第20页 |
| 3．1．4 本体论的构造规则 | 第20页 |
| 3．1．5 本体论在信息检索中的应用 | 第20-21页 |
| 3．1．6 本体论与语义Web | 第21-22页 |
| 3．2 DAML语言 | 第22-25页 |
| 3．2．1 DAML头 | 第22页 |
| 3．2．2 类元素 | 第22-24页 |
| 3．2．3 属性元素 | 第24页 |
| 3．2．4 实例定义 | 第24页 |
| 3．2．5 daml:collection | 第24-25页 |
| 3．3 WEB服务本体论DAML-S | 第25-27页 |
| 3．3．1 服务提供者的信息 | 第26页 |
| 3．3．2 服务的功能描述 | 第26页 |
| 3．3．3 服务的其他特征打描述 | 第26-27页 |
| 第四章 WEB服务的业务流程执行语言BPEL4WS | 第27-37页 |
| 4．1 定义业务流程 | 第27-28页 |
| 4．2 服务链接、伙伴和服务引用 | 第28-29页 |
| 4．2．1 服务链接 | 第28-29页 |
| 4．2．2 伙伴 | 第29页 |
| 4．2．3 服务引用 | 第29页 |
| 4．3 消息属性 | 第29-30页 |
| 4．4 相关性 | 第30页 |
| 4．5 数据处理 | 第30-31页 |
| 4．5．1 表达式 | 第30页 |
| 4．5．2 容器 | 第30-31页 |
| 4．5．3 赋值 | 第31页 |
| 4．6 基本活动 | 第31-33页 |
| 4．6．1 活动的标准属性和元素 | 第31-32页 |
| 4．6．2 调用Web服务操作 | 第32页 |
| 4．6．3 提供Web服务操作 | 第32-33页 |
| 4．6．4 其他基本活动 | 第33页 |
| 4．7 结构化的活动 | 第33-35页 |
| 4．7．1 Sequence活动 | 第33页 |
| 4．7．2 Switch活动 | 第33-34页 |
| 4．7．3 While活动 | 第34页 |
| 4．7．4 Pick活动 | 第34页 |
| 4．7．5 Flow活动 | 第34-35页 |
| 4．8 作用域 | 第35-37页 |
| 4．8．1 补偿处理程序 | 第35页 |
| 4．8．2 故障处理程序 | 第35-37页 |
| 第五章 WEB服务的通用业务流程语言GBPL | 第37-61页 |
| 5．1 通用业务流程语言的需求 | 第37-38页 |
| 5．2 抽象服务描述语言ASDL | 第38-54页 |
| 5．2．1 基本结构 | 第38-40页 |
| 5．2．2 DAML头 | 第40-41页 |
| 5．2．3 服务的基本信息 | 第41-45页 |
| 5．2．3．1 Service元素 | 第41页 |
| 5．2．3．2 implementedBy元素 | 第41-44页 |
| 5．2．3．3 serviceName元素 | 第44页 |
| 5．2．3．4 textDescription元素 | 第44-45页 |
| 5．2．4 服务的功能性描述 | 第45-46页 |
| 5．2．5 服务的其他属性描述 | 第46-51页 |
| 5．2．5．1 serviceCategory元素 | 第46-49页 |
| 5．2．5．2 qualityRating元素 | 第49-50页 |
| 5．2．5．3 serviceParameter元素 | 第50-51页 |
| 5．2．6 一个完整的例子 | 第51-54页 |
| 5．3 抽象流程描述语言APDL | 第54-61页 |
| 5．3．1 基本结构 | 第54-55页 |
| 5．3．2 服务提供者同一性声明 | 第55-56页 |
| 5．3．3 表达式 | 第56页 |
| 5．3．4 活动的标准属性和子元素 | 第56-57页 |
| 5．3．5 基本活动 | 第57页 |
| 5．3．5．1 调用Web服务的活动invoke元素 | 第57页 |
| 5．3．5．2 终止活动terminate元素 | 第57页 |
| 5．3．6 结构化活动 | 第57-59页 |
| 5．3．6．1 序列活动sequence元素 | 第57-58页 |
| 5．3．6．2 选择活动switch元素 | 第58页 |
| 5．3．6．3 循环活动while元素 | 第58页 |
| 5．3．6．4 并发活动flow元素 | 第58-59页 |
| 5．3．7 APDL的局限 | 第59页 |
| 5．3．8 一个完整的例子 | 第59-61页 |
| 第六章 GBPL的实例化 | 第61-81页 |
| 6．1 WEB服务发现 | 第61-71页 |
| 6．1．1 使用UDDI发现ASDL抽象服务 | 第62-67页 |
| 6．1．1．1 相关UDDI数据结构 | 第62-63页 |
| 6．1．1．2 在UDDI中发布ASDL服务 | 第63-66页 |
| 6．1．1．3 基于UDDI发现ASDL服务 | 第66-67页 |
| 6．1．2 服务匹配算法 | 第67-71页 |
| 6．1．2．1 服务功能匹配算法 | 第67-69页 |
| 6．1．2．2 服务基本信息和其他属性匹配算法 | 第69-70页 |
| 6．1．2．3 满足服务提供者同一性限制 | 第70-71页 |
| 6．2 组装BPEL4WS流程骨干 | 第71-75页 |
| 6．2．1 生成ServiceLink的定义 | 第71-72页 |
| 6．2．2 生成partner的定义 | 第72-73页 |
| 6．2．3 生成container的定义 | 第73页 |
| 6．2．4 生成正常执行的骨干 | 第73-75页 |
| 6．3 完善BPEL4WS数据流 | 第75-80页 |
| 6．3．1 扩展WSDL | 第75页 |
| 6．3．2 建立参数间关联 | 第75-77页 |
| 6．3．3 转换表达式 | 第77页 |
| 6．3．4 生成流程的整体输入和输出 | 第77-80页 |
| 6．4 完善BPEL4WS控制流 | 第80-81页 |
| 第七章 总结 | 第81-82页 |
| 参考文献 | 第82-86页 |
| 附录一 旅行社代理行业本体论TRAVEL．DAML | 第86-97页 |
| 附录二 ASDL的例子EXAMPLE．DAML | 第97-104页 |
| 附录三 APDL的XSD模式定义 | 第104-109页 |
| 附录四 相关XSD类型定义EXAMPLE．XSD | 第109-111页 |
| 附录五 WSDL文件MYPASSPORTSERVICE．WSDL | 第111-112页 |
| 附录六 WSDL文件FLIGHTTICKETSERVICE．WSDL | 第112-114页 |
| 附录七 WSDL文件HOTELROOMSERVICE．WSDL | 第114-116页 |
| 作者攻读学位期间发表的论文 | 第116-117页 |
| 致谢 | 第117页 |
