Web服务组合验证是确保组合服务正常执行的关键，现有的许多Web服务组合描述都是半形式化的，容易出错和不容易检测，因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题，并采用关联矩阵的方法确认组合的可达性。利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性，对于Web服务组合是一种可以推理的形式化验证方法。实验结果表明这种方法是一种很好的验证方法。