Web服务组合建模及验证、故障诊断是人工智能领域研究的热点，在云计算领域有广泛的应用前景。本书在广泛调研和充分论证的基础上，结合当前Web服务的国内外研究现状，从体系结构、组合服务的建模、组合兼容性验证、故障诊断等几方面阐述目前组合服务研究中存在的问题并提出有效的解决方案，力图建立一个有效的服务可靠性机制。主要内容包括：对Web服务、服务组合和面向服务的体系结构进行概述，回顾Web服务的发展历程，分析目前Web服务面临的挑战；阐述了基于Pi演算的组合服务建模过程，在此基础上提出了多组合服务交互的兼容性验证方法，针对多组合服务同步交互行为的兼容性验证进行了进一步论证；提出在分布式诊断框架下，应用于不同实际问题的三种不同的服务建模和诊断方法；针对云计算环境下服务故障诊断面临的新问题，提出一个在开放共享平台下可融合多种诊断系统的云服务诊断架构和基于服务依赖图的概率统计诊断方法。