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

康辉; 曾莹莹; 刘志勇

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2024-10-14

- 基于PI-演算的移动通信服务研究与建模
- Modeling the mobile communication service based on PI-calculus
- 通信学报 2009年30卷第4期页码：11-16
- 作者机构：
  
  1. 吉林大学计算机科学与技术学院
  2. 东北师范大学软件学院
- 作者简介：
- 基金信息：
  
  国家自然科学基金资助项目(60573128)
- DOI：
  中图分类号： TN929.5
- 纸质出版日期：2009
- 稿件说明：
移动端阅览
康辉, 曾莹莹, 刘志勇. 基于PI-演算的移动通信服务研究与建模[J]. 通信学报, 2009,30(4):11-16.

KANG Hui1, ZENG Ying-ying1, LIU Zhi-yong1. Modeling the mobile communication service based on PI-calculus[J]. 2009, 30(4): 11-16.
康辉, 曾莹莹, 刘志勇. 基于PI-演算的移动通信服务研究与建模[J]. 通信学报, 2009,30(4):11-16. DOI：

KANG Hui1, ZENG Ying-ying1, LIU Zhi-yong1. Modeling the mobile communication service based on PI-calculus[J]. 2009, 30(4): 11-16. DOI：

摘要

在现行的移动通信业务中

为解决不同运营商提供的增值服务无法互通的问题

提出将移动通信过程定义为多个独立的Web服务

利用PI-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模

将其PI-演算表达式进行封装组合。采用PI-演算建模

可对移动通信服务进行优化

在设计阶段尽早发现问题

降低风险

消除不同服务商之间的重复业务

令其具有更好的重用性和互通性。

Abstract

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.

关键词

Keywords

references

浏览量

290

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于改进人工蜂群算法的云制造服务组合优化方法

制造云服务组合中支持服务关联的QoS感知评估模型

基于Alloy的服务组合验证