| 基于PI-演算的移动通信过程建模 |
| |
| 引用本文： | 康辉,苑森淼,蒋峰,付玉. 基于PI-演算的移动通信过程建模[J]. 吉林大学学报(工学版), 2008, 0(Z2) |
| |
| 作者姓名： | 康辉 苑森淼 蒋峰 付玉 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院;吉林大学远程教育学院;吉林大学软件学院; |
| |
| 基金项目： | 国家自然科学基金项目(60573128);;长春市科技局项目(2007220101000082)． |
| |
| 摘 要： | 针对现今移动通信中不同SP提供的业务无法互通的弊端,提出了用Web Service的思想来改进移动通信服务的方法。该方法主要以Internet为发展平台,把通信过程封装成多个Web Service,并用PI-演算来描述这些Web Service及服务组合,使每个通信过程的实现都是调用相关Web Service或Web Service组合。最后通过4个具体的实例说明了在移动通信过程中如何用PI-演算来建模Web Service。
|
| 关 键 词： | 计算机系统结构 Web Service PI-演算 通信服务 通信过程建模 |
Modeling the mobile communication process using PI-calculus |
| |
| KANG Hui YUAN Sen-miao JIANG Fenge FU Yu. Modeling the mobile communication process using PI-calculus[J]. Journal of Jilin University:Eng and Technol Ed, 2008, 0(Z2) |
| |
| Authors: | KANG Hui YUAN Sen-miao JIANG Fenge FU Yu |
| |
| Affiliation: | 1.College of Computer Science and Technology;Jilin University;Changchun 130012;China;2.College of Distant Education.Jilin University;Changchun 130022;3.College of Software;China |
| |
| Abstract: | There are too many problems with mobile communication systems,thus the paper proposes that we should improve mobile communication services with the thought of the Web Service.This method mainly uses the Internet as a developing platform,encapsulates the communication process in many Web Services and describes these Web Services and Web Services composition by PI-calculus,so implementing every communication process by invoking Web Service or Web Service composition. Four examples are given in order to explai... |
| |
| Keywords: | computer systems organization Web Service PI-calculus communication service model communication process |
| 本文献已被 CNKI 等数据库收录！ |
