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

第 30 卷第 4 期 通 信 学 报 Vol.30 No.4 2009 年 4 月 Journal on Communications April 2009 基于 PI-演算的移动通信服务研究与建模 康辉 1，曾莹莹 1，刘志勇 1, 2 （1. 吉林大学 计算机科学与技术学院，吉林 长春 130012 ；2. 东北师范大学 软件学院，吉林 长春 130117 ） 摘 要：在现行的移动通信业务中，为解决不同运营商提供的增值服务无法互通 的 题，提 出将移动通信过程定 义为多个独立的 Web 服务，利用 PI-演算理论对移动通信过程 中的连接初始化、基站切换和移