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

《基于PI-演算的移动通信服务研究与建模》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第4期康辉等：基于PI-演算的移动通信服务研究与建模·15·基于PI-演算的移动通信服务研究与建模康辉1，曾莹莹1，刘志勇1,2（1.吉林大学计算机科学与技术学院，吉林长春130012；2.东北师范大学软件学院，吉林长春130117）摘要：在现行的移动通信业务中，为解决不同运营商提供的增值服务无法互通的问题，提出将移动通信过程定义为多个独立的Web服务，利用PI-演算理论对移动通信过程中的连接初始化、基站切换和移动通信进行建模，将其PI-演算表达式进行封装组合。采用PI-演算建模，可对移动通信服务进行优化，在设计阶段尽早发现问题，

2、降低风险，消除不同服务商之间的重复业务，令其具有更好的重用性和互通性。关键词：PI-演算；移动通信服务；服务组合中图分类号：TP393文献标识码：A文章编号：1000-436X(2009)04-0011-06ModelingthemobilecommunicationservicebasedonPI-calculusKANGHui1,ZENGYing-ying1,LIUZhi-yong1,2（1.CollegeofComputerScienceandTechnologyinJilinUniversity,Changchun1300

3、12,China;2.SoftwareCollegeinNortheastNormalUniversity,Changchun130117,China）Abstract:Inordertosolvetheproblemofnotinterworkingtheincrementserviceprovidedbydifferenceservicesprovidersincurrentmobilecommunicationservice,mobilecommunicationprocessweredefinedasmultipleind

4、ependentWebservices.Theconnectioninitialization,basestationswitchingandmobilecommunicationprocessweremodeledbyusingPI-calculus.ThePI-calculusexpressionswereencapsulatedandcombined.ModelingforPI-calculuscanoptimizethemobilecommunicationservice,anddiscoverproblemsassoon

5、aspossibleinthedesignstagetoeliminaterepeatingbusinessbetweendifferenceserviceprovidersandtoensuretheirreusabilityandinteroperability.Keywords:PI-calculus;communicationservice;servicecomposition第4期康辉等：基于PI-演算的移动通信服务研究与建模·15·1引言收稿日期：2007-09-24；修回日期：2009-01-11基金项目：国家自然科

6、学基金资助项目(60573128)；长春市科技计划基金资助项目(2007KP02)FoundationItems:TheNationalNaturalScienceFoundationofChina(60573128);TheScienceandTechnologyPlanofChangchun(2007KP02)如今已步入3G通信时代，通信领域逐步向互联网领域扩展，两大领域相互渗透、相互协调，将为人类带来更大的便利。但在其相互融合的过程中，仍存在许多问题。例如，在现行的通信业务中，不同SP（serviceprovider）通过不

7、同运营商提供的增值接口为用户提供服务，众多SP所提供的服务有很多交叉，迫切需要一种机制统一管理各种服务，有效地删除无效服务及重复服务。Web服务可以提供一种有效的管理机制解决上述问题。不同SP在注册中心上注册服务，一旦客户需要某种服务，可以去注册中心上查询所需服务，并获取相关SP信息，然后通过与SP进行通信、协商，最终获取所需服务。由此可见，Web服务是通信领域向互联网领域扩充的一座桥梁。第4期康辉等：基于PI-演算的移动通信服务研究与建模·15·本文主要讨论了如何把复杂的通信过程封装成多个Web服务，并利用PI-演算来描述这些W

8、eb服务。2PI-演算与Web服务PI-演算是由图灵奖得主MILNERR参照物理学大统一理论提出的，以进程间的移动通信为研究重点的并发理论[1]。PI-演算是一种描述和分析并发系统的计算模型，具有较强的描述能力，能用动态演化结构表示过程间的间歇性相