组合服务建模、测试与验证

　　第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 BPEI执行引擎
　　1．4 WS-CDL简介
　　1．4．1 WS-CDL语法规则
　　1．4．2 WS-CDI．模型
　　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简介
　　第3章 基于UML模型的Web服务组合建模
　　第4章 基于Petri网的Web服务建模
　　第5章 web服务测试概述
　　第6章 基于交互行为规约的w曲服务测试
　　第7章 基于EH-CPN的Web组合服务测试
　　第8章 Web组合服务与变异测试
　　第9章 Web服务回归测试
　　第10章 RTGenius4BPEL工具与应用
　　第11章 基于uML模型的web服务组合静态验证
　　第12章 并发属性验证
　　第13章 web服务运行时监控概述
　　第14毒web服务组合时序属性监控
　　第15章 weh服务组合时间属性监控
　　第16章 web服务组合概率时间属性监控
　　附录缩略词表
　　结束语

　　《组合服务建模、测试与验证》主要介绍在互联网环境下如何对组合服务进行行为建模、组合服务集成测试、回归测试和相关的属性验证。具体内容包括：从三个主要方面，即组合服务的建模理论，组合服务的测试方法和组合服务的属性验证方法，讨论了如何利用形式化规约理论（例如交互行为规约IBS：interactivebehaviorspecification）和可视化建模语言（例如UML2.0）进行组合服务行为建模，如何利用Petri网和标号变迁系统（LTS）进行集成测试和回归测试的测试用例自动化生成，以及如何利用属性序列图进行属性描述和验证等。