中文摘要：

在现行的移动通信业务中，为解决不同运营商提供的增值服务无法互通的问题，提出将移动通信过程定义为多个独立的Web服务，利用PI-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模，将其PI-演算表达式进行封装组合。采用PI．演算建模，可对移动通信服务进行优化，在设计阶段尽早发现问题，降低风险，消除不同服务商之间的重复业务，令其具有更好的重用性和互通性。

英文摘要：

In order to solve the problem of not interworking the increment service provided by difference services providers in current mobile communication service, mobile communication process were defined as multiple independent Web services. The connection initialization, base station switching and mobile communication process were modeled by using PI-calculus. The PI-calculus expressions were encapsulated and combined. Modeling for PI-calculus can optimize the mobile communication service, and discover problems as soon as possible in the design stage to eliminate repeating business between difference service providers and to ensure their reusability and interoperability.