Web服务通过组合基本服务为解决复杂问题提供了方法，于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题，其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模，改进基于Pi演算的推理，提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法，进一步采用MWB工具展示了Web服务组合兼容性的验证过程。