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