语义Web服务组合若干关键技术研究PDF电子书下载

第1章 绪论 1

1.1研究背景 1

1.1.1 Web服务 1

1.1.2语义Web服务 3

1.1.3 Web服务组合 5

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

1.2.1研究目标 12

1.2.2研究思路及主要内容 14

1.3本书结构 17

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

2.1 Petri网的基本概念 21

2.2 OWL-S进程 26

2.2.1 OWL-S原子进程的Petri网描述 30

2.2.2 OWL-S复合进程的Petri网描述 33

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

2.4本章小结 43

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

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

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

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

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

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

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

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

3.6本章小结 71

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

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

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

4.3实验结果与分析 95

4.4本章小结 97

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

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

5.1.1 Web服务的活动特性 101

5.1.2 Web服务组合的事务模型 105

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

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

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

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

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

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

5.4.2 Web服务组合异常处理恢复的WSCRec-overy算法 122

5.4.3 WSCRecovery算法正确性分析 126

5.5本章小结 128

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

6.1基于CPN4WSC的Web服务组合系统模型 130

6.2 Web服务组合辅助工具CPN4WSC原型系统 132

6.2.1 CPN4WSC的设计 133

6.2.2 CPN4WSC的功能模块 136

6.3本章小结 139

第7章 结束语 140

7.1主要工作和创新点 140

7.2工作展望 142

参考文献 143