何丰著的《语义Web服务组合若干关键技术研究》目标是使用Petri网形式化方法，对Web服务自动组合研究领域中的几个关键技术问题进行探索与尝试，希望对推进Web服务组合技术的理论与应用研究具有一定的参考价值。

本书可作为理工科院校计算机专业研究生的参考书，也可作为Web服

务组合研究和应用开发人员较快地了解相关领域知识及技术的参考资料。

Web服务组合作为一种崭新的分布式计算模型，已成为面向服务的计算的核心技术。何丰著的《语义Web服务组合若干关键技术研究》根据Web服务组合的生命周期，展开了对语义Web服务组合关键技术的研究，重点在Web服务和Web服务组合的形式化模型、Web服务自动组合的推理算法、Web服务组合的正确性验证、Web服务组合的异常处理四个方面进行了有效的探索与尝试。同时开发了一个基于颜色Peru网的Web服务组合原型系统CPN4WSC，对于推进动态服务组合技术的理论研究和实用化具有一定的理论价值与应用价值。

《语义Web服务组合若干关键技术研究》可作为理工科院校计算机专业研究生的参考书,也可作为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 OWL-S进程

2．2．1 OWL-S原子进程的Petri网描述

2．2．2 OWL-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 基于层次式恢复算法WSCRecovry的Web

服务组合异常恢复

5．4．1 基于层次Petri网的WSCRecovery异常

处理补偿模型

5．4．2 web服务组合异常处理恢复的WSCRec

overy算法

5．4．3 WSCRecovery算法正确性分析

 5．5 本章小结

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

 6．1 基于CPN4WSC的Web服务组合系统模型

 6．2 web服务组合辅助工具CPN4WSC原型系统

6．2．1 CPN4wSC的设计

6．2．2 CPN4WSC的功能模块

 6．3 本章小结

第7章 结束语

 7．1 主要工作和创新点

 7．2 工作展望

参考文献