基于PI-演算的移动通信服务研究与建模

摘要

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