文摘
英文文摘
独创性声明和关于论文使用授权的说明
第1章绪论
1.1研究背景
1.1.1 Web服务概述
1.1.2语义网(Semantic Web)
1.1.3服务协同的主要功能和架构
1.1.4服务组合的模式
1.2服务组合的关键技术
1.3服务组合的研究现状
1.4本文的目标、贡献与组织
1.4.1本文的目标与贡献
1.4.2本文的组织
第2章基于语义WEB服务的动态服务组合的架构DSC
2.1项目背景
2.2体系结构
2.3主要功能
2.3.1建模功能
2.3.2运行时动态组合功能
2.3.3可靠性机制和异常处理功能
2.4小结
第3章DSC服务描述模型
3.1引言
3.2当前WEB服务描述模型
3.2.1 WSDL描述标准
3.2.2 DAML-s描述模型
3.3服务描述抽象模型
3.4 DSC服务描述模型
3.4.1模型的详细定义
3.4.2示例
3.4.3模型的对应关系
3.5小结
第4章DSC协同模型
4.1服务协同模型的要求
4.2当前服务组合模型
4.2.1 WfMC的传统模型
4.2.2 WSFL与Xlang
4.2.3 BPEL4WS服务组合模型
4.3服务协同模型的定义
4.3.1过程静态模型
4.3.2工作流运行模型
4.4动态服务组合机制
4.4.1服务组合概述
4.4.2形式描述
4.4.3具体实现机制
4.5模型的验证
4.5.1 Petri网简介
4.5.2协同模型到Petri网的映射
4.5.3简化流程模型验证的措施
4.5.4流程模型的合理性
4.5.5合理流程模型的结构特征
4.5.6模型的具体验证方式
4.6小结
第5章DSC异常处理机制
5.1协同模型中异常的分类与表示
5.2异常的发现和捕获
5.3异常的处理机制
5.3.1一般处理原则
5.3.2内部表示形式
5.4小结
第6章原型系统
6.1项目背景
6.2原型实现
6.2.1服务模板建模模块
6.2.2服务中介模块
6.2.3服务资源管理模块
6.2.4本体库管理模块
6.2.5服务监控和异常处理模块
6.3应用实例
6.4小结
第7章结束语
7.1本文的贡献
7.2进一步研究的方向
附录A需求模型描述语言
参考文献
致谢
作者简介
