第1章Web服务概述 1
1.1 Web服务简介 2
1.1.1 Web服务定义 2
1.1.2 Web服务技术体系 2
1.2 XML简介 3
1.2.1 XML的由来与发展 3
1.2.2 XML简明语法规则 3
1.2.3 DTD和XML Schema 4
1.3 BPEL简介 5
1.3.1 BPEL语法 5
1.3.2 BPEL执行引擎 6
1.4 W S-CDL简介 6
1.4.1 WS-CDL语法规则 7
1.4.2 WS-CDL模型 8
1.5 OWL-S简介 8
1.5.1 OWL-S整体结构 10
1.5.2 ServiceProfile 10
1.5.3 ServiceModel 11
1.5.4 ServiceGrounding 11
1.6本章小结 11
1.7参考文献 12
第2章SOA简介 13
2.1 SOA基本思想 13
2.1.1 SOA基本模型 13
2.1.2 SOA参考模型分类 14
2.2 SOA相关技术 16
2.2.1 SOAP 16
2.2.2 WSDL 16
2.2.3 UDDI 17
2.3 SOA应用综述 17
2.3.1应用SOA的原因 17
2.3.2经典案例 18
2.4 SOA发展展望 18
2.4.1 SOA与云计算 18
2.4.2 SOA与虚拟化 19
2.5本章小结 20
2.6参考文献 21
第3章 基于UML模型的Web服务组合建模 23
3.1 UML模型理论 23
3.2基于UML模型的BPEL建模 24
3.2.1实例研究 24
3.2.2基于扩展顺序图的BPEL建模 24
3.2.3扩展状态图 29
3.2.4扩展状态图生成方法 32
3.2.5基于扩展状态图的BPEL建模 32
3.3基于UML模型的WS-CDL建模 33
3.3.1实例研究 33
3.3.2基于扩展构件图的WS-CDL建模 35
3.3.3基于扩展顺序图的W-CDL建模 36
3.3.4基于扩展状态机图的WS-CDL建模 40
3.3.5基于类图的WS-CDL建模 44
3.4相关工作 47
3.5本章小结 47
3.6参考文献 48
第4章 基于Petri网的Web服务建模 50
4.1 Petri网简介 50
4.2单个Web服务的Petri网模型 52
4.3 Web组合服务的Petri网建模 53
4.4 Web服务组合流程的Petri网建模 53
4.5 ECPN 54
4.5.1 ECPN的形式化定义 54
4.5.2 ECPN的动态行为 55
4.6 EH-CPN 56
4.6.1 EH-CPN的形式化定义 56
4.6.2 EH-CPN的特点 56
4.7 Web组合服务到EH-CPN的转换 57
4.7.1原子过程的转换 58
4.7.2组合过程的转换 58
4.8实例分析 60
4.9本章小结 61
4.10参考文献 62
第5章Web服务测试概述 64
5.1引言 64
5.2 Web服务软件体系结构 64
5.3测试的视角 66
5.4测试的策略 67
5.5国内外研究现状 70
5.6 Web服务测试的难点 73
5.7 Web服务测试与传统软件测试 74
5.8关注点及待解决的问题 75
5.9 Web服务测试研究的主要内容 76
5.10本章小结 78
5.11参考文献 78
第6章 基于交互行为规约的Web服务测试 81
6.1引言 81
6.2实例 82
6.3序列图转化为ELTS 83
6.3.1序列图的形式化定义 83
6.3.2 ELTS的形式化定义 83
6.3.3序列图转化为ELTS 84
6.4基于ELTS一致性测试 88
6.4.1 ELTS的相关理论 88
6.4.2实现关系 89
6.4.3与测试相关的形式化定义 90
6.4.4测试生成算法 90
6.4.5实例分析 92
6.5实例验证 93
6.6本章小结 99
6.7参考文献 100
第7章 基于EH-CPN的Web组合服务测试 103
7.1引言 103
7.2扩展的层次有色Petri网的数据流分析 104
7.3测试用例生成 106
7.3.1测试序列生成 107
7.3.2测试数据生成 110
7.3.3测试用例合成 112
7.4 TWCS设计与实现 113
7.4.1 TWCS的功能结构 114
7.4.2 TWCS的可视化 116
7.5场景描述和建模 118
7.6实验结果和结果分析 120
7.7本章小结 124
7.8参考文献 125
第8章Web组合服务与变异测试 128
8.1 OWL-S 128
8.2 Web服务工作流模式 129
8.3变异测试 131
8.4应用于Web服务领域的变异测试 133
8.5基于变异的Web组合服务测试 134
8.5.1基本思想 134
8.5.2算子设计 137
8.6代价分析与改进 141
8.6.1代价分析 141
8.6.2变异距离 142
8.6.3样本学习 143
8.6.4测试用例选择策略 145
8.7实验 146
8.7.1计算变异距离 147
8.7.2实验结果比较 148
8.8本章小结 150
8.9参考文献 151
第9章Web服务回归测试 154
9.1引言 154
9.2现状分析 155
9.3服务的演化与回归测试 156
9.3.1 BPEL组合服务 157
9.3.2服务的演化 159
9.3.3回归测试的概念、过程和技术 161
9.4面向服务的回归测试 162
9.4.1测试的视角 162
9.4.2测试的目的 162
9.4.3测试的层次 163
9.4.4变更检测 164
9.4.5用例选择技术 164
9.5扩展BPEL流图 165
9.5.1扩展BPEL流图 165
9.5.2 XBFG路径 173
9.6基于XBFG的回归测试用例选择与生成 175
9.6.1原理与步骤 176
9.6.2回归测试的用例选择与生成 177
9.6.3变更覆盖率分析 184
9.7本章小结 186
9.8参考文献 187
第10章RTGenius4BPEL工具与应用 191
10.1 RTGenius4BPEL工具简介 191
10.2工具设计 192
10.2.1框架设计 192
10.2.2操作流程 192
10.3工具实现 193
10.3.1开发环境 193
10.3.2组合服务建模器的实现 194
10.3.3回归测试影响分析器的实现 194
10.3.4测试用例集生成器的实现 195
10.3.5工具的可视化 195
10.4案例分析 196
10.4.1场景描述 196
10.4.2建模 201
10.4.3回归测试用例选择与生成 204
10.5本章小结 212
10.6参考文献 213
第11章 基于UML模型的Web服务组合静态验证 214
11.1模型检验 214
11.2 Cadence SMV模型检验工具 215
11.2.1 SMV语言 216
11.2.2 SMV属性规约 218
11.2.3验证方法 219
11.3带数据的状态机图转化为SMV语言 220
11.3.1模型转化过程 220
11.3.2 SMV代码生成步骤 221
11.3.3验证过程 223
11.4 WS-BPEL验证结果 224
11.4.1属性描述 224
11.4.2验证 225
11.5 WS-CDL验证结果 228
11.5.1属性表示 228
11.5.2 WS-CDL验证结果 230
11.6相关工作 234
11.6.1基于自动机的方式 235
11.6.2基于进程代数的方式 236
11.6.3基于Petri网的方式 236
11.6.4典型的Web服务组合静态验证方法比较 236
11.7本章小结 238
11.8参考文献 238
第12章 并发属性验证 240
12.1引言 240
12.2扩展的控制流图 241
12.2.1扩展的控制流图：XCFG 241
12.2.2 XCFG的组成元素 242
12.2.3 XCFG的形式化描述 243
12.3 BPEL对象模型：BOM 244
12.4 BOM至XCFG的转化 246
12.4.1基本活动映射为XCFG元素 246
12.4.2结构化活动映射为XCFG元素 248
12.5实例分析 250
12.6并发相关的属性描述及验证 251
12.6.1 XCFG的无死锁性 251
12.6.2 XCFG的无冲突性 254
12.6.3 XCFG的link无冗余性 257
12.7实验分析 259
12.7.1算法正确性分析 259
12.7.2算法执行效率的分析 262
12.8本章小结 264
12.9参考文献 264
第13章Web服务运行时监控概述 268
13.1前言 268
13.2 Web服务运行时监控技术和相关参数 268
13.2.1监控的目的 270
13.2.2 Web服务组合方式 270
13.2.3属性 271
13.3常见Web服务监控方法 273
13.3.1 SLA Monitoring和Automated SLA Monitoring 273
13.3.2 Smart Monitoring， Dynamic Monitoring和Robustness Monitoring 274
13.3.3 Requirement Monitoring， Interaction Monitoring和Monitoring for Diagnosis 275
13.3.4 Monitoring for Planning和Monitoring of Instances and Classes 276
13.3.5 Probing and Monitoring 277
13.3.6 Monitoring for Selection和PLASTIC 277
13.3.7商业工具：Cremona， Colombo和GlassFish 279
13.4分析讨论 279
13.5本章小结 283
13.6参考文献 284
第14章Web服务组合时序属性监控 287
14.1 PSC 287
14.1.1 PSC简介 287
14.1.2 PSC形式语法 289
14.1.3 PSC形式语义 290
14.2一种基于PSC的时序属性监控方法 300
14.2.1基于AOP扩展BPEL引擎 302
14.2.2属性表示 303
14.2.3观察器和分析器 306
14.2.4实验分析 310
14.3相关工作 311
14.4本章小结 312
14.5参考文献 312
第15章Web服务组合时间属性监控 314
15.1 TPSC 314
15.1.1 PSC时间扩展 316
15.1.2 TPSC形式语法 316
15.1.3基于时间自动机的操作语义 320
15.1.4 TPSC的表达力 327
15.2基于TPSC的Web服务组合过程中时间属性监控 329
15.2.1基于AOP扩展BPEL引擎 331
15.2.2属性表示 331
15.2.3观察器和分析器 334
15.2.4实验分析 336
15.3相关工作 337
15.4本章小结 338
15.5参考文献 338
第16章Web服务组合概率时间属性监控 340
16.1 PTPSC 340
16.1.1 TPSC概率扩展 340
16.1.2 PTPSC形式语法 340
16.1.3 PTPSC形式语义 343
16.1.4 PTPSC表达力 345
16.2基于PTPSC的Web服务组合概率时间属性的监控 346
16.2.1基于AOP扩展BPEL引擎 347
16.2.2属性表示 347
16.2.3观察器和分析器 348
16.2.4实验分析 350
16.3相关工作 355
16.4本章小结 356
16.5参考文献 356
附录 缩略词表 358
结束语 360