第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基于层次式恢复算法WSCRecovery的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工作展望

参考文献