本书围绕Web服务组合建立阶段的主要问题重点研究满足QoS约束的Web服务组合及抽象服务节点自动合成机制，并对组合模型的正确性验证等几个关键技术问题进行探索与尝试，对推进Web服务组合技术的理论与应用研究具有一定的参考价值。