语义Web服务组合若干关键技术研究

前言

第1章 绪论

1.1 研究背景

1.1.1 Web服务

1.1.2 语义Web服务

1.1.3 Web服务组合

1.2 研究目标、思路及主要内容

1.2.1 研究目标

1.2.2 研究思路及主要内容

1.3 本书结构

第2章 基于Petri网的Web服务及服务组合建模

2.1 Petri网的基本概念

2.2 0WL-S进程

2.2.1 0WL-S原子进程的Petri网描述

2.2.2 0WL-S复合进程的Petri网描述

2.3 基于颜色标签Petri网的Web服务组合模型

2.4 本章小结

第3章 基于Petri网的语义Web服务组合

3.1 Web服务组合中的依赖关系

3.2 基于模糊推理Petri网的Web服务Petri网描述

3.3 基于Petri网的Web服务依赖关系图

3.4 基于模糊推理Petri网的Web服务组合

3.4.1 基于推理Petri网推理的基本概念

3.4.2 基于推理Petri网的Web服务组合两阶段算法

3.5 基于推理Petri网的Web服务组合两阶段算法示例

3.6 本章小结

第4章 可信Web服务组合的形式化验证

4.1 Web服务组合的行为特性验证

4.2 Web服务组合的可靠性验证

4.3 实验结果与分析

4.4 本章小结

第5章 Web服务组合事务模型及异常恢复

5.1 Web服务组合中Web服务的活动特性及事务模型

5.1.1 Web服务的活动特性

5.1.2 Web服务组合的事务模型

5.2 Web服务组合异常恢复的基本概念

5.3 基于ECA规则的Web服务组合异常恢复

5.3.1 基于ECA规则的Web服务组合异常恢复模型

5.3.2 基于ECA规则的Web服务组合异常恢复实例

5.4 基于层次式恢复算法WSCRecovery的Web服务组合异常恢复

5.4.1 基于层次Petri网的WSCRecovery异常处理补偿模型

5.4.2 Web服务组合异常处理恢复的WSCRecovery算法

5.4.3 WSCRecovery算法正确性分析

……

第6章 Web服务组合辅助工具CPN4WSC原型

第7章 结束语

参考文献

Web服务组合作为一种崭新的分布式计算模型，已成为面向服务的计算的核心技术。《语义Web服务组合若干关键技术研究》根据Web服务组合的生命周期，展开了对语义WebaR务组合关键技术的研究，重点在Web服务和Web服务组合的形式化模型、Web服务自动组合的推理算法、Web服务组合的正确性验证、Web服务组合的异常处理四个方面进行了有效的探索与尝试。同时开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC，对于推进动态服务组合技术的理论研究和实用化具有一定的理论价值与应用价值。
　　《语义Web服务组合若干关键技术研究》可作为理工科院校计算机专业研究生的参考书，也可作为Web服务组合研究和应用开发人员较快地了解相关领域知识及技术的参考资料。