web服务组合的验证,利用pi演算。。。。。。。。。。。。