登录    注册    忘记密码

期刊文章详细信息

基于PI-演算的移动通信过程建模  ( EI收录)  

Modeling the mobile communication process using PI-calculus

  

文献类型:期刊文章

作  者:康辉[1] 苑森淼[1] 蒋峰[2] 付玉[3]

机构地区:[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学远程教育学院,长春130022 [3]吉林大学软件学院,长春130012

出  处:《吉林大学学报(工学版)》

基  金:国家自然科学基金项目(60573128);长春市科技局项目(2007220101000082).

年  份:2008

卷  号:38

期  号:S2

起止页码:191-197

语  种:中文

收录情况:AJ、BDHX、BDHX2004、CAS、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、EI、INSPEC、SCOPUS、ZGKJHX、核心刊

摘  要:针对现今移动通信中不同SP提供的业务无法互通的弊端,提出了用Web Service的思想来改进移动通信服务的方法。该方法主要以Internet为发展平台,把通信过程封装成多个Web Service,并用PI-演算来描述这些Web Service及服务组合,使每个通信过程的实现都是调用相关Web Service或Web Service组合。最后通过4个具体的实例说明了在移动通信过程中如何用PI-演算来建模Web Service。

关 键 词:计算机系统结构 WEB SERVICE PI-演算 通信服务 通信过程建模  

分 类 号:TN929.5]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心