中文摘要：

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

英文摘要：

There has been an increased focus in recent years on Web services,which provide the way of solving complex problems by combining basic ones.However,there are some issues related to Web service composition,in particular its compatibility verification of services with interactions.To this end,this paper formally models the Web services in aeronautical booking domain,and proposes a method for verifying the behavior compatibility of booking services by using an improved Pi-calculus-based reasoning.To validate the proposed method,this paper further uses the MWB tool to demonstrate the verification process.