發(fā)布時(shí)間：2018-01-27 08:54

  本文關(guān)鍵詞： 位置服務(wù) 時(shí)間約束Petri網(wǎng) 動(dòng)態(tài)服務(wù)組合 可達(dá)性驗(yàn)證　出處：《小型微型計(jì)算機(jī)系統(tǒng)》2013年01期 　論文類型：期刊論文

【摘要】：針對位置服務(wù)的動(dòng)態(tài)服務(wù)組合過程中對位置的動(dòng)態(tài)性和實(shí)時(shí)性考慮少的問題,本文運(yùn)用時(shí)間約束Petri網(wǎng)對位置服務(wù)進(jìn)行動(dòng)態(tài)服務(wù)組合建模,設(shè)計(jì)了位置服務(wù)動(dòng)態(tài)服務(wù)組合模型的執(zhí)行時(shí)間、計(jì)算方法和庫所可調(diào)度性分析算法.并對該模型的可達(dá)性進(jìn)行了驗(yàn)證,同時(shí)引入實(shí)例說明了運(yùn)用時(shí)間約束Petri網(wǎng)對位置服務(wù)動(dòng)態(tài)服務(wù)組合建模方法的可靠性和可行性.
[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.
【作者單位】： 上海大學(xué)計(jì)算機(jī)工程與技術(shù)學(xué)院;
【基金】：國家自然科學(xué)基金項(xiàng)目(61074135,71061001)資助 上海市重點(diǎn)學(xué)科建設(shè)項(xiàng)目(J50103)資助
【分類號】：TP393.09
【正文快照】： 1引言近年來隨著無線通信技術(shù)、GIS(Geographic InformationSystem)等空間定位技術(shù)以及普適計(jì)算技術(shù)的發(fā)展,加上移動(dòng)設(shè)備日趨強(qiáng)大的計(jì)算處理能力,越來越多的用戶使用移動(dòng)設(shè)備獲取各種服務(wù),這使得LBS得到廣泛的應(yīng)用和推廣.為滿足移動(dòng)用戶日趨復(fù)雜的需求,基于LBS的動(dòng)態(tài)服務(wù)組合

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 呂文龍;;位置服務(wù)2.0躍進(jìn)[J];互聯(lián)網(wǎng)周刊;2010年16期

2 賈富;;LBS位置服務(wù)應(yīng)用面面觀[J];互聯(lián)網(wǎng)天地;2010年04期

3 唐勇;張茹;;探析基于位置服務(wù)的SNS網(wǎng)站新發(fā)展[J];電子商務(wù);2010年12期

4 馬林兵,陳曉翔;LBS服務(wù)中的位置感知計(jì)算體系研究[J];中山大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年S1期

5 李巍;王琪全;陳鑫瑋;;面向校園無線網(wǎng)的位置服務(wù)系統(tǒng)[J];中山大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年S1期

6 田朋軒,朱仲英;基于J2EE的LBS服務(wù)器平臺設(shè)計(jì)[J];微型電腦應(yīng)用;2005年02期

7 劉云生;劉昕;;基于語義WEB的動(dòng)態(tài)服務(wù)組合技術(shù)研究[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2006年07期

8 劉青;連祥鑒;;基于上下文的Web服務(wù)動(dòng)態(tài)組合[J];微電子學(xué)與計(jì)算機(jī);2008年09期

9 孫智堅(jiān);姜浩;;基于時(shí)間約束Petri網(wǎng)的工作流動(dòng)態(tài)一致性檢驗(yàn)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2006年09期

10 劉偉;魚濱;;基于QoS的動(dòng)態(tài)服務(wù)組合研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2007年05期

相關(guān)會議論文 前3條

1 劉青;連祥鑒;;基于上下文的Web服務(wù)動(dòng)態(tài)組合[A];2008年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2008年

2 萬能;蘇森;陳俊亮;;面向移動(dòng)互聯(lián)網(wǎng)的VHE業(yè)務(wù)提供[A];2004年全國通信軟件學(xué)術(shù)會議論文集[C];2004年

3 黃明科;王少杰;;移動(dòng)互聯(lián)網(wǎng)發(fā)展研究[A];四川省通信學(xué)會2011年學(xué)術(shù)年會論文集[C];2011年

相關(guān)重要報(bào)紙文章 前6條

1 本報(bào)記者 翟海涌;位置服務(wù)幫的就是你[N];網(wǎng)絡(luò)世界;2001年

2 ;QQ欲建移動(dòng)王國 發(fā)力LBS[N];中國電腦教育報(bào);2011年

3 李傳濤;位置服務(wù)：地圖數(shù)據(jù)建設(shè)需先行[N];通信產(chǎn)業(yè)報(bào);2008年

4 小黑邋編譯;iFind試水P2P位置服務(wù)[N];計(jì)算機(jī)世界;2007年

5 方正數(shù)碼軟件渠道事業(yè)部 周祥;GIS環(huán)衛(wèi)服務(wù) 關(guān)注我們的健康[N];中國計(jì)算機(jī)報(bào);2003年

6 程永來;開放移動(dòng)聯(lián)盟發(fā)表無線規(guī)范[N];網(wǎng)絡(luò)世界;2002年

相關(guān)博士學(xué)位論文 前2條

1 劉必欣;動(dòng)態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2005年

2 劉恒;普適計(jì)算環(huán)境下基于位置服務(wù)的隱私保護(hù)若干技術(shù)研究[D];電子科技大學(xué);2010年

相關(guān)碩士學(xué)位論文 前10條

1 黃小科;Web位置服務(wù)系統(tǒng)通用數(shù)據(jù)網(wǎng)關(guān)的設(shè)計(jì)與實(shí)現(xiàn)[D];大連海事大學(xué);2011年

2 苗甫;移動(dòng)終端位置服務(wù)系統(tǒng)的研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2011年

3 王園園;基于位置感知的移動(dòng)服務(wù)計(jì)算策略研究與實(shí)現(xiàn)[D];天津理工大學(xué);2011年

4 劉明升;Web服務(wù)動(dòng)態(tài)組合的關(guān)鍵技術(shù)研究[D];大連海事大學(xué);2008年

5 任琛雯;手機(jī)中基于LBS的旅游社交服務(wù)設(shè)計(jì)研究[D];北京服裝學(xué)院;2012年

6 劉昕;基于語義Web的動(dòng)態(tài)服務(wù)組合模型[D];華中科技大學(xué);2006年

7 楊文軍;基于規(guī)則的語義Web服務(wù)動(dòng)態(tài)組合框架[D];華中科技大學(xué);2006年

8 陳飛;基于工作流的語義Web服務(wù)動(dòng)態(tài)組合模型及實(shí)現(xiàn)[D];華中科技大學(xué);2007年

9 徐麗麗;基于Ajax和SOA的Web應(yīng)用架構(gòu)的研究與應(yīng)用[D];山東師范大學(xué);2008年

10 見曉春;移動(dòng)互聯(lián)網(wǎng)絡(luò)匿名技術(shù)研究及應(yīng)用[D];陜西師范大學(xué);2008年

，

本文編號：1468103