使用Pi演算对移动通信服务进行研究和建模