Modeling the mobile communication service based on PI-calculus

KANG Hui1; ZENG Ying-ying1; LIU Zhi-yong1

您当前的位置：

首页 >

文章列表页 >

Modeling the mobile communication service based on PI-calculus

更新时间：2024-10-14

- Modeling the mobile communication service based on PI-calculus
- Vol. 30, Issue 4, Pages: 11-16(2009)
- 作者机构：
  
  1. 吉林大学计算机科学与技术学院
  2. 东北师范大学软件学院
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN929.5
- Published：2009
- 稿件说明：
移动端阅览
KANG Hui1, ZENG Ying-ying1, LIU Zhi-yong1. Modeling the mobile communication service based on PI-calculus[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

Views

908

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Optimization method for cloud manufacturing service composition based on the improved artificial bee colony algorithm

QoS aware evaluation model supporting service correlation in manufacturing cloud service composition

Alloy-based verification of Web service composition

Related Author

Qiang HU

Yuqing TIAN

Haoquan QI

Peng WU

Qingxue LIU

Xiaolan XIE

Lanying ZENG

Qinghai ZHAI

Related Institution

School of Information Science and Technology, Qingdao University of Science and Technology

School of Mechanical and Electrical Engineering, Kunming University

Guangxi Key Laboratory of Embedded Technology and Intelligent System, Guilin University of Technology

College of Information Science and Engineering, Guilin University of Technology

School of Computer Science and Engineering, Southeast University

AI问答

⁰