- 作 者：何丰著
- 出 版 社：北京：科学出版社
- 出版年份：2013
- ISBN：9787030339836
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
8
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第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