本书从组合服务建模、测试和验证三个方面着手，系统全面地介绍了与面向Web服务的软件开发和软件质量保证相关的技术理论和方法。全书共16章，其中第1、2章重点介绍了与Web服务相关的基础知识，包括基本概念、基本术语以及基本原理；第3、4章重点介绍了Web服务的建模技术，包括UML建模和有色Petri网建模；第5～10章重点介绍了各种类型的Web服务测试技术和方法，包括单元测试、集成测试、回归测试、变异测试和测试用例生成等；第11～16章重点介绍组合Web服务的静态验证和动态监控等技术。
本书适用于软件工程学科专业的教师、研究生和高年级本科生，以及从事面向服务软件开发和质量管理的工程技术人员。

李必信等编著的《组合服务建模测试与验证》从组合服务建模、测试和验证三个方面着手，系统全面地介绍了与面向web服务的软件开发和软件质量保证相关的技术理论和方法。本书适用于软件工程学科专业的教师、研究生和高年级本科生，以及从事面向服务软件开发和质量管理的工程技术人员。

《信息科学技术学术著作丛书》序
前言
第1章 Web服务概述
1.1 Web服务简介
1.1.1 Web服务定义
1.1.2 Web服务技术体系
1.2 XML简介
1.2.1 XML的由来与发展
1.2.2 XML简明语法规则
1.2.3 DTD和XML Schema
1.3 BPEL简介
1.3.1 BPEL语法
1.3.2 BPEL执行引擎
1.4 WS-CDL简介
1.4.1 WS-CDL语法规则 《信息科学技术学术著作丛书》序
前言
第1章 Web服务概述
1.1 Web服务简介
1.1.1 Web服务定义
1.1.2 Web服务技术体系
1.2 XML简介
1.2.1 XML的由来与发展
1.2.2 XML简明语法规则
1.2.3 DTD和XML Schema
1.3 BPEL简介
1.3.1 BPEL语法
1.3.2 BPEL执行引擎
1.4 WS-CDL简介
1.4.1 WS-CDL语法规则
1.4.2 WS-CDL模型
1.5 OWL-S简介
1.5.1 OWL-S整体结构
1.5.2 ServiceProfile
1.5.3 ServiceModel
1.5.4 ServiceGrounding
1.6 本章小结
1.7 参考文献
第2章 SOA简介
2.1 SOA基本思想
2.1.1 SOA基本模型
2.1.2 SOA参考模型分类
2.2 SOA相关技术
2.2.1 SOAP
2.2.2 WSDL
2.2.3 UDDI
2.3 SOA应用综述
2.3.1 应用SOA的原因
2.3.2 经典案例
2.4 SOA发展展望
2.4.1 SOA与云计算
2.4.2 SOA与虚拟化
2.5 本章小结
2.6 参考文献
第3章 基于UML模型的Web服务组合建模
3.1 UML模型理论
3.2 基于UML模型的BPEL建模
3.2.1 实例研究
3.2.2 基于扩展顺序图的BPEL建模
3.2.3 扩展状态图
3.2.4 扩展状态图生成方法
3.2.5 基于扩展状态图的BPEL建模
3.3 基于UML模型的WS-CDL建模
3.3.1 实例研究
3.3.2 基于扩展构件图的WS-CDL建模
3.3.3 基于扩展顺序图的WS-CDL建模
3.3.4 基于扩展状态机图的WS-CDL建模
3.3.5 基于类图的WS-CDL建模
3.4 相关工作
3.5 本章小结
3.6 参考文献
第4章 基于Petri网的Web服务建模
4.1 Petri网简介
4.2 单个Web服务的Petri网模型
4.3 Web组合服务的Petri网建模
4.4 Web服务组合流程的Petri网建模
4.5 ECPN
4.5.1 ECPN的形式化定义
4.5.2 ECPN的动态行为
4.6 EH-CPN
4.6.1 EH-CPN的形式化定义
4.6.2 EH-CPN的特点
4.7 Web组合服务到EH-CPN的转换
4.7.1 原子过程的转换
4.7.2 组合过程的转换
4.8 实例分析
4.9 本章小结
4.10 参考文献
第5章 Web服务测试概述
5.1 引言
5.2 Web服务软件体系结构
5.3 测试的视角
5.4 测试的策略
5.5 国内外研究现状
5.6 Web服务测试的难点
5.7 Web服务测试与传统软件测试
5.8 关注点及待解决的问题
5.9 Web服务测试研究的主要内容
5.10 本章小结
5.11 参考文献
第6章 基于交互行为规约的Web服务测试
6.1 引言
6.2 实例
6.3 序列图转化为ELTS
6.3.1 序列图的形式化定义
6.3.2 ELTS的形式化定义
6.3.3 序列图转化为ELTS
6.4 基于ELTS一致性测试
6.4.1 ELTS的相关理论
6.4.2 实现关系
6.4.3 与测试相关的形式化定义
6.4.4 测试生成算法
6.4.5 实例分析
6.5 实例验证
6.6 本章小结
6.7 参考文献
第7章 基于EH-CPN的Web组合服务测试
7.1 引言
7.2 扩展的层次有色Petri网的数据流分析
7.3 测试用例生成
7.3.1 测试序列生成
7.3.2 测试数据生成
7.3.3 测试用例合成
7.4 TWCS设计与实现
7.4.1 TWCS的功能结构
7.4.2 TWCS的可视化
7.5 场景描述和建模
7.6 实验结果和结果分析
7.7 本章小结
7.8 参考文献
第8章 Web组合服务与变异测试
8.1 OWL-S
8.2 Web服务工作流模式
8.3 变异测试
8.4 应用于Web服务领域的变异测试
8.5 基于变异的Web组合服务测试
8.5.1 基本思想
8.5.2 算子设计
8.6 代价分析与改进
8.6.1 代价分析
8.6.2 变异距离
8.6.3 样本学习
8.6.4 测试用例选择策略
8.7 实验
8.7.1 计算变异距离
8.7.2 实验结果比较
8.8 本章小结
8.9 参考文献
第9章 Web服务回归测试
9.1 引言
9.2 现状分析
9.3 服务的演化与回归测试
9.3.1 BPEL组合服务
9.3.2 服务的演化
9.3.3 回归测试的概念、过程和技术
9.4 面向服务的回归测试
9.4.1 测试的视角
9.4.2 测试的目的
9.4.3 测试的层次
9.4.4 变更检测
9.4.5 用例选择技术
9.5 扩展BPEL流图
9.5.1 扩展BPEL流图
9.5.2 XBFG路径
9.6 基于XBFG的回归测试用例选择与生成
9.6.1 原理与步骤
9.6.2 回归测试的用例选择与生成
9.6.3 变更覆盖率分析
9.7 本章小结
9.8 参考文献
第10章 RTGenius4BPEL工具与应用
10.1 RTGenius4BPEL工具简介
10.2 工具设计
10.2.1 框架设计
10.2.2 操作流程
10.3 工具实现
10.3.1 开发环境
10.3.2 组合服务建模器的实现
10.3.3 回归测试影响分析器的实现
10.3.4 测试用例集生成器的实现
10.3.5 工具的可视化
10.4 案例分析
10.4.1 场景描述
10.4.2 建模
10.4.3 回归测试用例选择与生成
10.5 本章小结
10.6 参考文献
第11章 基于UML模型的Web服务组合静态验证
11.1 模型检验
11.2 Cadence SMV模型检验工具
11.2.1 SMV语言
11.2.2 SMV属性规约
11.2.3 验证方法
11.3 带数据的状态机图转化为SMV语言
11.3.1 模型转化过程
11.3.2 SMV代码生成步骤
11.3.3 验证过程
11.4 WS-BPEL验证结果
11.4.1 属性描述
11.4.2 验证
11.5 WS-CDL验证结果
11.5.1 属性表示
11.5.2 WS-CDL验证结果
11.6 相关工作
11.6.1 基于自动机的方式
11.6.2 基于进程代数的方式
11.6.3 基于Petri网的方式
11.6.4 典型的Web服务组合静态验证方法比较
11.7 本章小结
11.8 参考文献
第12章 并发属性验证
12.1 引言
12.2 扩展的控制流图
12.2.1 扩展的控制流图:XCFG
12.2.2 XCFG的组成元素
12.2.3 XCFG的形式化描述
12.3 BPEL对象模型:BOM
12.4 BOM至XCFG的转化
12.4.1 基本活动映射为XCFG元素
12.4.2 结构化活动映射为XCFG元素
12.5 实例分析
12.6 并发相关的属性描述及验证
12.6.1 XCFG的无死锁性
12.6.2 XCFG的无冲突性
12.6.3 XCFG的link无冗余性
12.7 实验分析
12.7.1 算法正确性分析
12.7.2 算法执行效率的分析
12.8 本章小结
12.9 参考文献
第13章 Web服务运行时监控概述
13.1 前言
13.2 Web服务运行时监控技术和相关参数
13.2.1 监控的目的
13.2.2 Web服务组合方式
13.2.3 属性
13.3 常见Web服务监控方法
13.3.1 SLA Monitoring和Automated SLA Monitoring
13.3.2 Smart Monitoring,Dynamic Monitoring和Robustness Monitoring
13.3.3 Requirement Monitoring,Interaction Monitoring和Monitoring for Diagnosis
13.3.4 Monitoring for Planning和Monitoring of Instances and Classes
13.3.5 Probing and Monitoring
13.3.6 Monitoring for Selection和PLASTIC
13.3.7 商业工具:Cremona,Colombo和GlassFish
13.4 分析讨论
13.5 本章小结
13.6 参考文献
第14章 Web服务组合时序属性监控
14.1 PSC
14.1.1 PSC简介
14.1.2 PSC形式语法
14.1.3 PSC形式语义
14.2 一种基于PSC的时序属性监控方法
14.2.1 基于AOP扩展BPEL引擎
14.2.2 属性表示
14.2.3 观察器和分析器
14.2.4 实验分析
14.3 相关工作
14.4 本章小结
14.5 参考文献
第15章 Web服务组合时间属性监控
15.1 TPSC
15.1.1 PSC时间扩展
15.1.2 TPSC形式语法
15.1.3 基于时间自动机的操作语义
15.1.4 TPSC的表达力
15.2 基于TPSC的Web服务组合过程中时间属性监控
15.2.1 基于AOP扩展BPEL引擎
15.2.2 属性表示
15.2.3 观察器和分析器
15.2.4 实验分析
15.3 相关工作
15.4 本章小结
15.5 参考文献
第16章 Web服务组合概率时间属性监控
16.1 PTPSC
16.1.1 TPSC概率扩展
16.1.2 PTPSC形式语法
16.1.3 PTPSC形式语义
16.1.4 PTPSC表达力
16.2 基于PTPSC的Web服务组合概率时间属性的监控
16.2.1 基于AOP扩展BPEL引擎
16.2.2 属性表示
16.2.3 观察器和分析器
16.2.4 实验分析
16.3 相关工作
16.4 本章小结
16.5 参考文献
附录 缩略词表
结束语