基于TCPN的LBS动态服务组合建模与验证

发布时间：2018-01-27 08:54

  本文关键词： 位置服务 时间约束Petri网 动态服务组合 可达性验证　出处：《小型微型计算机系统》2013年01期 　论文类型：期刊论文

【摘要】：针对位置服务的动态服务组合过程中对位置的动态性和实时性考虑少的问题,本文运用时间约束Petri网对位置服务进行动态服务组合建模,设计了位置服务动态服务组合模型的执行时间、计算方法和库所可调度性分析算法.并对该模型的可达性进行了验证,同时引入实例说明了运用时间约束Petri网对位置服务动态服务组合建模方法的可靠性和可行性.
[Abstract]:In order to solve the problem that the dynamic and real-time of location services are less considered in the process of dynamic service composition of location services, this paper uses time-constrained Petri nets to model the dynamic service composition of location services. The execution time, calculation method and schedulability analysis algorithm of location service dynamic service composition model are designed, and the reachability of the model is verified. At the same time, an example is introduced to illustrate the reliability and feasibility of using time-constrained Petri nets to model dynamic service composition of location services.
【作者单位】： 上海大学计算机工程与技术学院;
【基金】：国家自然科学基金项目(61074135,71061001)资助 上海市重点学科建设项目(J50103)资助
【分类号】：TP393.09
【正文快照】： 1引言近年来随着无线通信技术、GIS(Geographic InformationSystem)等空间定位技术以及普适计算技术的发展,加上移动设备日趋强大的计算处理能力,越来越多的用户使用移动设备获取各种服务,这使得LBS得到广泛的应用和推广.为满足移动用户日趋复杂的需求,基于LBS的动态服务组合

【相似文献】

相关期刊论文 前10条

1 吕文龙;;位置服务2.0跃进[J];互联网周刊;2010年16期

2 贾富;;LBS位置服务应用面面观[J];互联网天地;2010年04期

3 唐勇;张茹;;探析基于位置服务的SNS网站新发展[J];电子商务;2010年12期

4 马林兵,陈晓翔;LBS服务中的位置感知计算体系研究[J];中山大学学报(自然科学版);2005年S1期

5 李巍;王琪全;陈鑫玮;;面向校园无线网的位置服务系统[J];中山大学学报(自然科学版);2009年S1期

6 田朋轩,朱仲英;基于J2EE的LBS服务器平台设计[J];微型电脑应用;2005年02期

7 刘云生;刘昕;;基于语义WEB的动态服务组合技术研究[J];网络安全技术与应用;2006年07期

8 刘青;连祥鉴;;基于上下文的Web服务动态组合[J];微电子学与计算机;2008年09期

9 孙智坚;姜浩;;基于时间约束Petri网的工作流动态一致性检验[J];计算机技术与发展;2006年09期

10 刘伟;鱼滨;;基于QoS的动态服务组合研究[J];计算机技术与发展;2007年05期

相关会议论文 前3条

1 刘青;连祥鉴;;基于上下文的Web服务动态组合[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年

2 万能;苏森;陈俊亮;;面向移动互联网的VHE业务提供[A];2004年全国通信软件学术会议论文集[C];2004年

3 黄明科;王少杰;;移动互联网发展研究[A];四川省通信学会2011年学术年会论文集[C];2011年

相关重要报纸文章 前6条

1 本报记者 翟海涌;位置服务帮的就是你[N];网络世界;2001年

2 ;QQ欲建移动王国 发力LBS[N];中国电脑教育报;2011年

3 李传涛;位置服务：地图数据建设需先行[N];通信产业报;2008年

4 小黑邋编译;iFind试水P2P位置服务[N];计算机世界;2007年

5 方正数码软件渠道事业部 周祥;GIS环卫服务 关注我们的健康[N];中国计算机报;2003年

6 程永来;开放移动联盟发表无线规范[N];网络世界;2002年

相关博士学位论文 前2条

1 刘必欣;动态Web服务组合关键技术研究[D];国防科学技术大学;2005年

2 刘恒;普适计算环境下基于位置服务的隐私保护若干技术研究[D];电子科技大学;2010年

相关硕士学位论文 前10条

1 黄小科;Web位置服务系统通用数据网关的设计与实现[D];大连海事大学;2011年

2 苗甫;移动终端位置服务系统的研究与实现[D];国防科学技术大学;2011年

3 王园园;基于位置感知的移动服务计算策略研究与实现[D];天津理工大学;2011年

4 刘明升;Web服务动态组合的关键技术研究[D];大连海事大学;2008年

5 任琛雯;手机中基于LBS的旅游社交服务设计研究[D];北京服装学院;2012年

6 刘昕;基于语义Web的动态服务组合模型[D];华中科技大学;2006年

7 杨文军;基于规则的语义Web服务动态组合框架[D];华中科技大学;2006年

8 陈飞;基于工作流的语义Web服务动态组合模型及实现[D];华中科技大学;2007年

9 徐丽丽;基于Ajax和SOA的Web应用架构的研究与应用[D];山东师范大学;2008年

10 见晓春;移动互联网络匿名技术研究及应用[D];陕西师范大学;2008年

，

本文编号：1468103