Web服务组合是将Web上的多个功能单一、自治的、可共享的Web服务按照业务流程进行通信和协作，形成粒度更大、功能更强的复杂服务，以满足用户更高的目标需求。随着Web服务技术不断发展，网上出现了大量功能相同，性能不同的Web服务，基于QoS的Web服务组合已经成为研究热点。　　 首先，本文给出一个体现Web服务性能的动态QoS模型，并基于该模型改进了遗传算法以实现Web服务组合中优化服务选择。该算法先使用夹角余弦来构造初始种群，然后在交叉之后的精英交叉操作中使用欧氏距离来限制个体间的近亲繁殖，并采用父代与子代共同竞争，用子代替换掉父代中最差的一些个体的混合选择方法。算法较好地实现了QoS的全局搜索。　　 接着，为了验证Web服务组合的正确性，本文给出了一个适合Web服务组合验证的扩展颜色Petri网模型WSC-CPN。WSC-CPN能从多方面较全面地表述Web服务组合流程。该模型不但能描述组合流程中的参数、操作的语义和流程的控制流、数据流，还可以描述支持动态性的服务质量模型，便于对Web服务组合的功能和性能进行验证。　　 最后，通过实例来对Web服务组合建模并验证组合的正确性。首先利用可达标识图对实例模型控制流网的正确性进行了分析验证，说明组合服务能实现功能需求。然后通过模拟实验对比，证明了提出的组合优化算法性能更优，不仅能改善种群多样性，有效地避免了“早熟”现象，还能得到更优的解，而且随着候选服务规模的增长，算法有更好的适应性，从而验证了该算法可以提高组合服务的QoS性能指标。