服务计算应用开发技术【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

服务计算应用开发技术PDF格式电子书版下载

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

第1章　概论1

1.1 服务计算1

1.2　服务组合的动机1

1.3　服务组合的挑战2

1.3.1　描述逻辑2

1.3.2　线性逻辑5

1.3.3　人工智能规划6

1.4　进程代数8

1.5　约束满足问题10

1.6　Petri网12

1.7　有限状态自动机和模型检验14

1.8　存在的问题15

1.9　思考题16

第2章　Web服务架构和标准17

2.1　基本概念17

2.1.1　Web服务的定义17

2.1.2　Web服务的体系结构18

2.1.3　Web服务架构协议栈19

2.1.4　Web服务的实现20

2.2 目录服务20

2.2.1 目录的概念21

2.2.2　目录服务的概念21

2.2.3 目录服务的访问协议21

2.2.4　目录服务的结构22

2.2.5 目录服务的应用23

2.3　简单对象访问协议（SOAP）23

2.3.1　SOAP消息结构24

2.3.2　SOAP编码27

2.3.3　SOAP消息交换模型27

2.3.4　SOAP与传输协议的绑定28

2.4　Web服务描述语言（WSDL）29

2.4.1　WSDL文档结构29

2.4.2　WSDL声明30

2.4.3　WSDL抽象描述30

2.4.4　WSDL实现方法31

2.5　通用发现、描述和集成（UDDI）32

2.5.1　概述33

2.5.2　UDDI数据结构34

2.5.3　UDDI查询API36

2.5.4　UDDI发布API37

2.6　思考题38

第3章　企业架构39

3.1　集成与交互39

3.1.1　企业应用集成39

3.1.2　互用性40

3.1.3　安全性41

3.2　J2EE42

3.2.1　J2EE介绍42

3.2.2　J2EE平台43

3.2.3　J2EE Web服务44

3.3　.NET56

3.3.1　.NET介绍56

3.3.2　.NET平台58

3.3.3　.NET框架58

3.3.4　.NET Web服务59

3.4　遗留系统61

3.4.1　遗留系统61

3.4.2　SOA63

3.5　思考题68

第4章　描述：建模和表示69

4.1　XML入门69

4.1.1　为什么使用XML69

4.1.2　什么是XML69

4.1.3　XML文档70

4.1.4　XML描述72

4.1.5　支持XML的公司和它们的开发工具73

4.1.6　前景73

4.2　概念模型73

4.2.1　建模概念74

4.2.2　概念模型和信息系统74

4.3　本体和知识共享75

4.3.1　本体的介绍75

4.3.2　知识共享79

4.4　相关的标准81

4.4.1 RDF和RDFS81

4.4.2　OWL83

4.4.3　OWL-S85

4.5　推理和工具85

4.5.1　本体语言的分析86

4.5.2　基于案例推理的技术86

4.6 匹配88

4.6.1　服务匹配的背景88

4.6.2　服务匹配的应用88

4.7　思考题90

第5章　过程91

5.1　点对点计算91

5.1.1　超越于客户—服务器之上91

5.1.2　P2P计算模型92

5.2　消息92

5.2.1　消息路径93

5.2.2　消息交互模式93

5.2.3　关联94

5.3　事务94

5.3.1 ACID属性95

5.3.2　调度95

5.3.3　锁——封锁97

5.3.4　分布式事务97

5.4　流程规约97

5.4.1　流程97

5.4.2　工作流99

5.5 相关标准：BPEL4WS,ebXML,WSCI,WS-C等业务流程语言104

5.5.1　BPEL4WS104

5.5.2　ebXML108

5.5.3　WSCI117

5.5.4　WS-Coordination117

5.6　思考题123

第6章　服务的选择124

6.1　服务质量124

6.1.1　服务质量的概念引入124

6.1.2　什么是QoS的属性125

6.2　建立应用层上的信任130

6.2.1　信任概念的引入130

6.2.2　3种Web服务安全机制131

6.2.3　应用层的新威胁132

6.2.4　如何建立信任机制133

6.3　信誉度机制135

6.3.1　什么是Web服务信誉度135

6.3.2　什么是SLA136

6.3.3　如何建立信誉度机制137

6.3.4　举例：在P2P网络中如何计算信誉度138

6.3.5　语义Web服务信誉度模型138

6.4　推荐系统139

6.4.1　5种推荐系统的模型139

6.4.2　关于模型一的实例140

6.4.3　关于模型二的实例142

6.4.4　关于模型四的实例144

6.5　思考题144

第7章　Web服务组合145

7.1 绪论145

7.1.1　研究背景145

7.1.2　问题的提出146

7.1.3　国内外研究现状146

7.1.4　主要内容147

7.1.5　本章的结构安排148

7.2　研究基础148

7.2.1　Web服务148

7.2.2　Web服务相关规范149

7.2.3　Web服务小结152

7.2.4　Web服务组合152

7.2.5　小结158

7.3 TLA介绍158

7.3.1　概述158

7.3.2　TLA公式158

7.3.3　举例159

7.3.4　执行和停顿160

7.3.5　公平性160

7.3.6　组合161

7.3.7　TLC161

7.3.8　关于TLA＋162

7.3.9　小结163

7.4　Web服务的形式化描述163

7.4.1　Web服务的框架163

7.4.2　用有限状态自动机对Web服务建模163

7.4.3　举例165

7.4.4　WSDL扩展166

7.4.5　FSA到WSDL扩展部分的转换167

7.4.6　TLA的Web服务描述170

7.4.7　小结176

7.5 WSDL到TLA的转换176

7.5.1 问题的提出176

7.5.2　WSDL扩展的改进177

7.5.3　举例179

7.5.4　〈behavior〉结构到FSA的转换180

7.5.5　FSA到TLA的转换182

7.5.6　小结184

7.6　Web服务组合的TLA规范185

7.6.1　组合问题描述185

7.6.2　TLA规范的几点说明185

7.6.3　服务的顺序组合188

7.6.4　服务的并行组合193

7.6.5　小结200

7.7　服务的TLA规范组合举例200

7.7.1　服务组合举例200

7.7.2　TLA规范组合的算法201

7.7.3　服务组合的TLA规范203

7.7.4　示例的TLC验证208

7.7.5　小结209

7.8　思考题209

第8章　服务组合验证210

8.1　TLA描述Web服务组合流程210

8.1.1　OWL-S流程模型简述210

8.1.2　TLA模式检验214

8.1.3 自动转化验证工具219

8.1.4　实验与分析222

8.1.5　小结224

8.2　Web服务组合的TLA规范224

8.2.1　Web服务的有限状态机模型224

8.2.2　组合服务TLA规范的讨论230

8.2.3 Sequence控制结构的TLA规范231

8.2.4　Split控制结构的TLA规范235

8.2.5　其他控制结构的TLA描述238

8.3　Web服务的选择与组合238

8.3.1　概述238

8.3.2　Web服务IOPE的描述239

8.3.3　Web服务组合流程的生成240

8.3.4　实验与分析243

8.4　思考题247

第9章　多Agent系统在服务计算中的应用248

9.1　Agent与Web服务248

9.2　智能Agent与Web服务组合249

9.3　利用Agent实现Web服务定制253

9.4　Agent与Web服务的集成254

9.5　移动Agent与Web服务258

9.6　小结262

9.7　思考题262

参考文献263