Web服务组合建模与验证2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

Web服务组合建模与验证PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

1绪论1

1.1 研究背景1

1.1.1 Web服务2

1.1.2 语义Web服务6

1.1.3 Web服务组合9

1.2 研究现状24

1.2.1 Web服务组合动机24

1.2.2 Web服务组合建模26

1.2.3 Web服务组合验证30

1.3 本书研究内容和创新点35

1.4 本书的组织结构37

2 Web服务组合的语义Petri网模型38

2.1 Petri网38

2.1.1 Petri网概念39

2.1.2 Petri网性质41

2.1.3 Petri网分析方法43

2.2 有色Petri网44

2.3 Petri网描述语言PNML47

2.3.1 PNML结构48

2.3.2 基于XML的PNML语法51

2.3.3 Petri网类型定义56

2.4 语义Petri网模型57

2.4.1 OWL-S57

2.4.2 语义Petri网61

2.5 语义Petri网的PNML70

2.6 Web服务组合模式90

2.7 Web组合服务形式化建模应用94

2.8 本章小结95

3Web服务组合流程正确性验证97

3.1 Web服务组合形式化验证97

3.1.1 Web服务组合形式化验证目的97

3.1.2 相关Web服务组合形式化验证方法98

3.2 Web服务组合流程正确性验证99

3.2.1 服务组合语法正确性验证99

3.2.2 服务组合可达性验证108

3.2.3 服务组合死锁验证112

3.2.4 服务组合有界性验证117

3.3 本章小结118

4 Web服务组合语义一致性验证119

4.1 Web服务组合语义一致性内容119

4.2 Web服务组合功能一致性验证121

4.2.1 服务组合功能一致性121

4.2.2 服务组合功能一致性验证122

4.3 Web服务组合行为一致性验证126

4.3.1 服务组合行为一致性126

4.3.2 服务组合行为一致性验证127

4.4 Web服务组合QoS一致性验证131

4.4.1 服务组合QoS一致性131

4.4.2 服务组合QoS一致性验证132

4.5 本章小结139

5水资源调度组合系统的建模与验证140

5.1 水利领域应用背景140

5.2 基于Web服务组合的水资源调度系统141

5.2.1 水资源调度组合系统的分析143

5.2.2 水资源调度组合系统的语义Petri网模型145

5.2.3 水资源调度组合系统的PNML描述148

5.2.4 水资源调度组合系统的验证155

5.3 本章小结160

6总结和展望161

6.1 本书总结161

6.2 下一步研究工作163

参考文献165

后记181