基于TCPN的LBS動態(tài)服務(wù)組合建模與驗證
本文關(guān)鍵詞: 位置服務(wù) 時間約束Petri網(wǎng) 動態(tài)服務(wù)組合 可達性驗證 出處:《小型微型計算機系統(tǒng)》2013年01期 論文類型:期刊論文
【摘要】:針對位置服務(wù)的動態(tài)服務(wù)組合過程中對位置的動態(tài)性和實時性考慮少的問題,本文運用時間約束Petri網(wǎng)對位置服務(wù)進行動態(tài)服務(wù)組合建模,設(shè)計了位置服務(wù)動態(tài)服務(wù)組合模型的執(zhí)行時間、計算方法和庫所可調(diào)度性分析算法.并對該模型的可達性進行了驗證,同時引入實例說明了運用時間約束Petri網(wǎng)對位置服務(wù)動態(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é)計算機工程與技術(shù)學(xué)院;
【基金】:國家自然科學(xué)基金項目(61074135,71061001)資助 上海市重點學(xué)科建設(shè)項目(J50103)資助
【分類號】:TP393.09
【正文快照】: 1引言近年來隨著無線通信技術(shù)、GIS(Geographic InformationSystem)等空間定位技術(shù)以及普適計算技術(shù)的發(fā)展,加上移動設(shè)備日趨強大的計算處理能力,越來越多的用戶使用移動設(shè)備獲取各種服務(wù),這使得LBS得到廣泛的應(yīng)用和推廣.為滿足移動用戶日趨復(fù)雜的需求,基于LBS的動態(tài)服務(wù)組合
【相似文獻】
相關(guān)期刊論文 前10條
1 呂文龍;;位置服務(wù)2.0躍進[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];中山大學(xué)學(xué)報(自然科學(xué)版);2005年S1期
5 李巍;王琪全;陳鑫瑋;;面向校園無線網(wǎng)的位置服務(wù)系統(tǒng)[J];中山大學(xué)學(xué)報(自然科學(xué)版);2009年S1期
6 田朋軒,朱仲英;基于J2EE的LBS服務(wù)器平臺設(shè)計[J];微型電腦應(yīng)用;2005年02期
7 劉云生;劉昕;;基于語義WEB的動態(tài)服務(wù)組合技術(shù)研究[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2006年07期
8 劉青;連祥鑒;;基于上下文的Web服務(wù)動態(tài)組合[J];微電子學(xué)與計算機;2008年09期
9 孫智堅;姜浩;;基于時間約束Petri網(wǎng)的工作流動態(tài)一致性檢驗[J];計算機技術(shù)與發(fā)展;2006年09期
10 劉偉;魚濱;;基于QoS的動態(tài)服務(wù)組合研究[J];計算機技術(shù)與發(fā)展;2007年05期
相關(guān)會議論文 前3條
1 劉青;連祥鑒;;基于上下文的Web服務(wù)動態(tài)組合[A];2008年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2008年
2 萬能;蘇森;陳俊亮;;面向移動互聯(lián)網(wǎng)的VHE業(yè)務(wù)提供[A];2004年全國通信軟件學(xué)術(shù)會議論文集[C];2004年
3 黃明科;王少杰;;移動互聯(lián)網(wǎng)發(fā)展研究[A];四川省通信學(xué)會2011年學(xué)術(shù)年會論文集[C];2011年
相關(guān)重要報紙文章 前6條
1 本報記者 翟海涌;位置服務(wù)幫的就是你[N];網(wǎng)絡(luò)世界;2001年
2 ;QQ欲建移動王國 發(fā)力LBS[N];中國電腦教育報;2011年
3 李傳濤;位置服務(wù):地圖數(shù)據(jù)建設(shè)需先行[N];通信產(chǎn)業(yè)報;2008年
4 小黑邋編譯;iFind試水P2P位置服務(wù)[N];計算機世界;2007年
5 方正數(shù)碼軟件渠道事業(yè)部 周祥;GIS環(huán)衛(wèi)服務(wù) 關(guān)注我們的健康[N];中國計算機報;2003年
6 程永來;開放移動聯(lián)盟發(fā)表無線規(guī)范[N];網(wǎng)絡(luò)世界;2002年
相關(guān)博士學(xué)位論文 前2條
1 劉必欣;動態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2005年
2 劉恒;普適計算環(huán)境下基于位置服務(wù)的隱私保護若干技術(shù)研究[D];電子科技大學(xué);2010年
相關(guān)碩士學(xué)位論文 前10條
1 黃小科;Web位置服務(wù)系統(tǒng)通用數(shù)據(jù)網(wǎng)關(guān)的設(shè)計與實現(xiàn)[D];大連海事大學(xué);2011年
2 苗甫;移動終端位置服務(wù)系統(tǒng)的研究與實現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2011年
3 王園園;基于位置感知的移動服務(wù)計算策略研究與實現(xiàn)[D];天津理工大學(xué);2011年
4 劉明升;Web服務(wù)動態(tài)組合的關(guān)鍵技術(shù)研究[D];大連海事大學(xué);2008年
5 任琛雯;手機中基于LBS的旅游社交服務(wù)設(shè)計研究[D];北京服裝學(xué)院;2012年
6 劉昕;基于語義Web的動態(tài)服務(wù)組合模型[D];華中科技大學(xué);2006年
7 楊文軍;基于規(guī)則的語義Web服務(wù)動態(tài)組合框架[D];華中科技大學(xué);2006年
8 陳飛;基于工作流的語義Web服務(wù)動態(tài)組合模型及實現(xiàn)[D];華中科技大學(xué);2007年
9 徐麗麗;基于Ajax和SOA的Web應(yīng)用架構(gòu)的研究與應(yīng)用[D];山東師范大學(xué);2008年
10 見曉春;移動互聯(lián)網(wǎng)絡(luò)匿名技術(shù)研究及應(yīng)用[D];陜西師范大學(xué);2008年
,本文編號:1468103
本文鏈接:http://www.wukwdryxk.cn/guanlilunwen/ydhl/1468103.html