基于pi演算的服务组合验证方法，验证组合服务是否符合需求，提供两个测试例，正例为验证成功例；反例为验证失败例子-Portfolio of services based on pi calculus authentication method to verify whether the combination of services to meet the demand, provide two test cases are cases of successful cases for the va