服务计算应用开发技术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查询API 36

2.5.4　UDDI发布API 37

2.6　思考题 38

第3章　企业架构 39

3.1　集成与交互 39

3.1.1　企业应用集成 39

3.1.2　互用性 40

3.1.3　安全性 41

3.2　J2EE 42

3.2.1　J2EE介绍 42

3.2.2　J2EE平台 43

3.2.3　J2EE Web服务 44

3.3　.NET 56

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　SOA 63

3.5　思考题 68

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

4.1　XML入门 69

4.1.1　为什么使用XML 69

4.1.2　什么是XML 69

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和RDFS 81

4.4.2　OWL 83

4.4.3　OWL-S 85

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　BPEL4WS 104

5.5.2　ebXML 108

5.5.3　WSCI 117

5.5.4　WS-Coordination 117

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　什么是SLA 136

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　TLC 161

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