组合服务建模、测试与验证PDF|Epub|txt|kindle电子书版本网盘下载

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

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

第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 Schema4

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 ServiceProfile10

1.5.3 ServiceModel11

1.5.4 ServiceGrounding11

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 SOAP16

2.2.2 WSDL16

2.2.3 UDDI17

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 ECPN54

4.5.1 ECPN的形式化定义54

4.5.2 ECPN的动态行为55

4.6 EH-CPN56

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序列图转化为ELTS83

6.3.1序列图的形式化定义83

6.3.2 ELTS的形式化定义83

6.3.3序列图转化为ELTS84

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-S128

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扩展的控制流图：XCFG241

12.2.2 XCFG的组成元素242

12.2.3 XCFG的形式化描述243

12.3 BPEL对象模型：BOM244

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 Monitoring273

13.3.2 Smart Monitoring， Dynamic Monitoring和Robustness Monitoring274

13.3.3 Requirement Monitoring， Interaction Monitoring和Monitoring for Diagnosis275

13.3.4 Monitoring for Planning和Monitoring of Instances and Classes276

13.3.5 Probing and Monitoring277

13.3.6 Monitoring for Selection和PLASTIC277

13.3.7商业工具：Cremona， Colombo和GlassFish279

13.4分析讨论279

13.5本章小结283

13.6参考文献284

第14章Web服务组合时序属性监控287

14.1 PSC287

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 TPSC314

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 PTPSC340

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