本文關(guān)鍵詞：基于概率時間自動機Web服務(wù)質(zhì)量的形式化建模分析

  更多相關(guān)文章： Web服務(wù)組合 概率時間自動機 定量建模分析 Web服務(wù)質(zhì)量

【摘要】：針對拓展的Web服務(wù)體系結(jié)構(gòu),利用概率時間自動機(probabilistic timed automata,PTA)對Web服務(wù)組合進行形式化建模,將Web服務(wù)組合的過程理解為一個實時系統(tǒng)的運行過程,進而對Web服務(wù)組合的整體服務(wù)質(zhì)量(quality of service,QoS)進行定量分析,從而克服了已有Web服務(wù)質(zhì)量研究方式主要集中在對單個Web服務(wù)分析評估上的局限性,在整個分析過程中充分考慮Web服務(wù)組合執(zhí)行過程所具有的隨機性和不確定性,具有較高的可信度.通過實驗說明了建模分析方法的可行性,并證明了采取相應(yīng)的服務(wù)選擇策略有助于提高Web服務(wù)組合的成功率.
【作者單位】： 吉林大學(xué)計算機科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： Web服務(wù)組合 概率時間自動機 定量建模分析 Web服務(wù)質(zhì)量
【基金】：國家自然科學(xué)基金(批準(zhǔn)號:60973041) 國家高技術(shù)研究發(fā)展計劃863項目基金(批準(zhǔn)號:2009AA010314) 吉林省科技發(fā)展計劃項目(批準(zhǔn)號:20115007)
【分類號】：TP393.09
【正文快照】： 隨著電子商務(wù)的迅速發(fā)展,Web服務(wù)作為一種新興的Web應(yīng)用模式,受到IT行業(yè)的廣泛關(guān)注.Web服務(wù)是一個嶄新的分布式計算模型[1],具有開放的協(xié)議標(biāo)準(zhǔn)和良好的模塊化特性,允許服務(wù)提供者采用不同語言在不同平臺上開發(fā)松耦合的Web服務(wù),并通過服務(wù)組合支持面向服務(wù)應(yīng)用的集成和開發(fā)[2]

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前7條

1 張君華;黃志球;曹子寧;;模型檢測基于概率時間自動機的反例產(chǎn)生研究[J];計算機研究與發(fā)展;2008年10期

2 肖芳雄;黃志球;曹子寧;袁敏;張君華;;基于價格進程代數(shù)的Web服務(wù)組合描述和成本分析[J];計算機研究與發(fā)展;2009年05期

3 駱翔宇;軒愛成;沙宗魯;;基于時間自動機的Web服務(wù)模型檢測[J];計算機科學(xué);2010年08期

4 岳昆,王曉玲,周傲英;Web服務(wù)核心支撐技術(shù):研究綜述[J];軟件學(xué)報;2004年03期

5 郭得科;任彥;陳洪輝;薛群威;羅雪山;;一種QoS有保障的Web服務(wù)分布式發(fā)現(xiàn)模型[J];軟件學(xué)報;2006年11期

6 范小芹;蔣昌俊;王俊麗;龐善臣;;隨機QoS感知的可靠Web服務(wù)組合[J];軟件學(xué)報;2009年03期

7 邵凌霜;周立;趙俊峰;謝冰;梅宏;;一種Web Service的服務(wù)質(zhì)量預(yù)測方法[J];軟件學(xué)報;2009年08期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 高志升,劉興偉;基于語義P2P的Web服務(wù)模型[J];阿壩師范高等�？茖W(xué)校學(xué)報;2005年03期

2 王紅艷;朱全銀;丁甜甜;;通信終端與農(nóng)村科技服務(wù)平臺的Web服務(wù)數(shù)據(jù)同步設(shè)計[J];安徽農(nóng)業(yè)科學(xué);2012年01期

3 方芳;葉春明;;基于Qos的語義Web服務(wù)發(fā)現(xiàn)研究[J];安慶師范學(xué)院學(xué)報(自然科學(xué)版);2010年02期

4 侯貴法;羅穎;;基于SOA的數(shù)字氣田應(yīng)用集成[J];安陽工學(xué)院學(xué)報;2007年04期

5 曹利培;楊慶祥;李冰川;;一種考慮QoS的網(wǎng)格服務(wù)匹配模型[J];安陽工學(xué)院學(xué)報;2009年02期

6 劉實;劉書雷;熊偉;鐘志農(nóng);;基于工作流的服務(wù)動態(tài)聚合平臺[J];兵工自動化;2007年10期

7 舒振;馬建威;羅雪山;;軍事信息服務(wù)的QoS模型及其監(jiān)控機制[J];兵工自動化;2010年05期

8 張萬方;朱全銀;王紅艷;丁甜甜;;通信終端與Web服務(wù)程序數(shù)據(jù)同步設(shè)計[J];北京聯(lián)合大學(xué)學(xué)報(自然科學(xué)版);2011年02期

9 夏虹;李增智;;粒子群算法求解Web服務(wù)組合中基于QoS的服務(wù)選擇[J];北京郵電大學(xué)學(xué)報;2009年04期

10 張龍昌;張成文;;混合QoS聚類的服務(wù)組合[J];北京郵電大學(xué)學(xué)報;2011年05期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 江琦;奚宏生;殷保群;;網(wǎng)絡(luò)新媒體服務(wù)系統(tǒng)事件驅(qū)動的動態(tài)服務(wù)組合[A];第二十九屆中國控制會議論文集[C];2010年

2 陶冶;劉建勛;唐明董;;基于Map/Reduce的分布式Web服務(wù)搜索引擎設(shè)計與實現(xiàn)[A];CCF NCSC 2011——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

3 黨德鵬;徐俏;徐娟;;基于替代的Web服務(wù)事務(wù)提交協(xié)議及其性能分析[A];CCF NCSC 2011——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

4 李飛;張斌;葛亮;孫若男;;面向組合服務(wù)自適應(yīng)執(zhí)行的環(huán)境感知引擎[A];CCF NCSC 2011——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

5 陳彥萍;李增智;夏虹;朱海萍;;服務(wù)質(zhì)量驅(qū)動的Web服務(wù)組合框架的設(shè)計與實現(xiàn)[A];2006年全國通信軟件學(xué)術(shù)會議論文集[C];2006年

6 李宏偉;李勤超;蔡暢;;基于OWL-S的地理信息服務(wù)語義描述研究[A];中國地理信息系統(tǒng)協(xié)會第四次會員代表大會暨第十一屆年會論文集[C];2007年

7 薛海麗;樊永生;韓燮;;下一代網(wǎng)絡(luò)結(jié)構(gòu)和關(guān)鍵技術(shù)分析[A];AECC專題學(xué)術(shù)研討會論文集[C];2007年

8 張艷梅;;基于Overlay網(wǎng)絡(luò)的服務(wù)組合研究綜述[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會——通信與信息技術(shù)會議論文集（上）[C];2006年

9 董燕;;中央監(jiān)測資源集成平臺的軟件架構(gòu)設(shè)計思路[A];中國新聞技術(shù)工作者聯(lián)合會2008年學(xué)術(shù)年會論文集（下）[C];2008年

10 吳家菊;劉剛;席傳裕;;Web服務(wù)數(shù)據(jù)的二次處理[A];第二屆全國信息與電子工程學(xué)術(shù)交流會暨第十三屆四川省電子學(xué)會曙光分會學(xué)術(shù)年會論文集[C];2006年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 朱里越;多業(yè)務(wù)協(xié)同系統(tǒng)服務(wù)組合技術(shù)研究[D];中國科學(xué)技術(shù)大學(xué);2010年

2 高瞻;網(wǎng)格任務(wù)調(diào)度中服務(wù)質(zhì)量保證相關(guān)問題研究[D];北京交通大學(xué);2010年

3 尹可挺;Internet環(huán)境中基于QoS的Web服務(wù)組合研究[D];浙江大學(xué);2010年

4 鄺礫;基于接口和行為語義的Web服務(wù)發(fā)現(xiàn)與適配研究[D];浙江大學(xué);2009年

5 王強;空間信息服務(wù)聚合的關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2010年

6 付曉東;Web服務(wù)組合服務(wù)質(zhì)量保障關(guān)鍵問題研究[D];昆明理工大學(xué);2008年

7 吳斌;企業(yè)服務(wù)總線中動態(tài)服務(wù)路由技術(shù)的研究[D];山東大學(xué);2010年

8 曹虹華;語義編程語言SPROGLE及其實現(xiàn)機制研究[D];武漢大學(xué);2009年

9 趙振南;聯(lián)合作戰(zhàn)信息系統(tǒng)體系結(jié)構(gòu)若干關(guān)鍵技術(shù)研究[D];南京理工大學(xué);2010年

10 劉莉平;動態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 呂媛媛;基于本體的物流信息集成系統(tǒng)的研究[D];山東科技大學(xué);2010年

2 徐加帥;一種支持QoS的Web服務(wù)擴展機制的研究[D];山東科技大學(xué);2010年

3 聶劍鋒;基于QoS的Web服務(wù)選擇研究[D];浙江理工大學(xué);2010年

4 宋超臣;基于推薦網(wǎng)絡(luò)的服務(wù)搜索技術(shù)研究[D];哈爾濱工程大學(xué);2010年

5 戴步成;基于ArcGIS Server的電子地圖研究及應(yīng)用[D];大連理工大學(xué);2010年

6 華建新;基于語義的Web服務(wù)發(fā)現(xiàn)及算法研究[D];長沙理工大學(xué);2010年

7 周凌;基于web的網(wǎng)絡(luò)實驗教學(xué)管理系統(tǒng)的設(shè)計與實現(xiàn)[D];合肥工業(yè)大學(xué);2010年

8 馬百皓;基于Web Service的校園電子商務(wù)平臺研究與開發(fā)[D];華東師范大學(xué);2010年

9 梁毅;基于Web Service的公交智能查詢系統(tǒng)[D];天津理工大學(xué);2010年

10 周緒倩;基于電子商務(wù)的Web數(shù)據(jù)挖掘系統(tǒng)架構(gòu)研究[D];河北工程大學(xué);2010年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 劉衛(wèi)東,宋佳興,林闖;基于價格時間Petri網(wǎng)的網(wǎng)格計算應(yīng)用模型及分析[J];電子學(xué)報;2005年08期

2 周倜;李夢君;李舟軍;陳火旺;;基于Horn邏輯擴展模型的安全協(xié)議反例的自動構(gòu)造[J];計算機研究與發(fā)展;2007年09期

3 楊勝文,史美林;一種支持QoS約束的Web服務(wù)發(fā)現(xiàn)模型[J];計算機學(xué)報;2005年04期

4 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗證[J];計算機學(xué)報;2005年04期

5 張成文;蘇森;陳俊亮;;基于遺傳算法的QoS感知的Web服務(wù)選擇[J];計算機學(xué)報;2006年07期

6 曾春,邢春曉,周立柱;個性化服務(wù)技術(shù)綜述[J];軟件學(xué)報;2002年10期

7 岳昆,王曉玲,周傲英;Web服務(wù)核心支撐技術(shù):研究綜述[J];軟件學(xué)報;2004年03期

8 胡春明,懷進鵬,孫海龍;基于Web服務(wù)的網(wǎng)格體系結(jié)構(gòu)及其支撐環(huán)境研究[J];軟件學(xué)報;2004年07期

9 劉顯明;李師賢;李文軍;潘理;;一種擴展了價格信息的時間Petri網(wǎng)[J];軟件學(xué)報;2007年01期

10 劉樹林,邱菀華;多屬性決策基礎(chǔ)理論研究[J];系統(tǒng)工程理論與實踐;1998年01期

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 葉碧云,劉青;基于Web技術(shù)的設(shè)備管理信息系統(tǒng)[J];洪都科技;2003年02期

2 何志勇 ,何紹榮;基于WEB的學(xué)生成績管理系統(tǒng)[J];自貢師范高等專科學(xué)校學(xué)報;2003年04期

3 劉慶紅;基于Web的綜合教務(wù)管理信息系統(tǒng)的分析與設(shè)計[J];吉林省經(jīng)濟管理干部學(xué)院學(xué)報;2004年01期

4 賈志娟,胡明生;基于Web的答疑系統(tǒng)設(shè)計與實現(xiàn)[J];河南紡織高等�？茖W(xué)校學(xué)報;2004年03期

5 王斌,劉浙;基于Web的電力調(diào)度自動化系統(tǒng)的實現(xiàn)[J];計算機與現(xiàn)代化;2004年11期

6 尹健康,宋紅文,朱伏平,杜祥兵;基于Web的設(shè)備管理信息系統(tǒng)設(shè)計與研究[J];西南科技大學(xué)學(xué)報(自然科學(xué)版);2004年03期

7 盛志偉,劉仕筠,劉雙虎;基于Web的網(wǎng)絡(luò)考試系統(tǒng)的設(shè)計與實現(xiàn)[J];計算機與現(xiàn)代化;2005年07期

8 耿道武;Web服務(wù)提供銀行中間業(yè)務(wù)新形式[J];華南金融電腦;2005年08期

9 石建玲,印建平,葛敬霞,李紅彥;基于Web設(shè)備管理信息系統(tǒng)中設(shè)備分類編碼規(guī)則的研究[J];現(xiàn)代制造工程;2005年09期

10 尤超常;淺談WEB數(shù)據(jù)挖掘[J];中國科技信息;2005年04期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 黃海林;孫向陽;;基于Web的大學(xué)物理試題管理系統(tǒng)的設(shè)計[A];湖北省物理學(xué)會、武漢物理學(xué)會成立70周年慶典暨2002年學(xué)術(shù)年會論文集[C];2002年

2 于莉莉;張毅;;基于Web的人力資源管理系統(tǒng)研究與設(shè)計[A];2008全國制造業(yè)信息化標(biāo)準(zhǔn)化論壇論文集[C];2008年

3 李中華;;企業(yè)Web應(yīng)用安全威脅與防護[A];創(chuàng)新·融合·發(fā)展——創(chuàng)新型煤炭企業(yè)發(fā)展與信息化高峰論壇論文集[C];2010年

4 劉兵;何新林;張偉;吳東峰;何小蓮;;基于Web的奎屯河流域水庫調(diào)度自動化系統(tǒng)研究[A];第三屆全國水力學(xué)與水利信息學(xué)大會論文集[C];2007年

5 劉穎;;基于Web的學(xué)生信息管理系統(tǒng)的設(shè)計與實現(xiàn)[A];2008年計算機應(yīng)用技術(shù)交流會論文集[C];2008年

6 張玉艷;黃國棟;馮文堂;侯金奎;;一種模型驅(qū)動的WEB報表系統(tǒng)開發(fā)方法[A];第二十七屆中國控制會議論文集[C];2008年

7 李毅;顧健;顧鐵軍;;系統(tǒng)等級保護中的Web應(yīng)用安全評估[A];全國計算機安全學(xué)術(shù)交流會論文集（第二十四卷）[C];2009年

8 葉良;劉富強;鄧戈;趙忠;;基于WEB的數(shù)字視頻監(jiān)控系統(tǒng)開發(fā)[A];第十二屆全國煤礦自動化學(xué)術(shù)年會論文專輯[C];2002年

9 劉巖;閻欽運;張剛;;基于WEB的企業(yè)人力資源管理系統(tǒng)的研究與實現(xiàn)[A];第十七屆全國煤礦自動化學(xué)術(shù)年會、中國煤炭學(xué)會自動化專業(yè)委員會學(xué)術(shù)會議論文集[C];2007年

10 粟智;;基于Web技術(shù)下的分析實驗室計算機網(wǎng)絡(luò)管理系統(tǒng)的開發(fā)與設(shè)計[A];2003年藥物分析論壇“熱分析在藥物分析中的應(yīng)用”專題學(xué)術(shù)研討會論文集[C];2003年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 本報記者 劉繼安;準(zhǔn)備好了嗎？WEB教師[N];中國教育報;2001年

2 張承東;Web智能考核廣告[N];網(wǎng)絡(luò)世界;2009年

3 科訊;WEB教師——一個全新職業(yè)的透析[N];科技日報;2001年

4 王雅麗;博客社區(qū)齊上陣 銀行借Web 2.0拉攏未來客戶[N];中國計算機報;2008年

5 本報記者 黃智軍;Web應(yīng)用呼喚新型安全系統(tǒng)[N];計算機世界;2009年

6 居易;WEB教師熱門起來[N];組織人事報;2001年

7 本報記者 趙曉濤;四問“Web防御與云安全”[N];網(wǎng)絡(luò)世界;2008年

8 本報記者 徐恒;手機瀏覽器：競爭不斷加劇 Web大勢所趨[N];中國電子報;2009年

9 李晨;Web應(yīng)用安全應(yīng)貫穿生命周期[N];人民郵電;2009年

10 電腦商報記者 張戈;Web應(yīng)用安全正當(dāng)時[N];電腦商報;2010年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 孫慧峰;基于協(xié)同過濾的個性化Web推薦[D];北京郵電大學(xué);2012年

2 何儒漢;Web圖像的多模融合檢索研究[D];華中科技大學(xué);2007年

3 張建武;面向Web應(yīng)用的安全評測技術(shù)研究[D];北京郵電大學(xué);2012年

4 龍慧云;基于進程代數(shù)的Web服務(wù)數(shù)據(jù)和組合的形式化方法研究[D];貴州大學(xué);2009年

5 孫濤;面向市場情報分析的Web實體事件融合問題研究[D];山東大學(xué);2014年

6 謝琪;基于協(xié)同過濾與QoS的個性化Web服務(wù)推薦研究[D];重慶大學(xué);2012年

7 劉方方;Web服務(wù)合成與可用性的若干關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2007年

8 劉曉光;網(wǎng)絡(luò)化制造中Web服務(wù)自動組合的若干關(guān)鍵技術(shù)研究[D];上海交通大學(xué);2008年

9 李杰;基于服務(wù)質(zhì)量的Web服務(wù)模型及應(yīng)用研究[D];中國科學(xué)院研究生院（計算技術(shù)研究所）;2005年

10 許洪波;大規(guī)模信息過濾技術(shù)研究及其在Web問答系統(tǒng)中的應(yīng)用[D];中國科學(xué)院研究生院（計算技術(shù)研究所）;2003年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 曾確令;基于WEB挖掘的消費者細(xì)分及推薦應(yīng)用研究[D];吉林大學(xué);2009年

2 袁桂蘭;WEB分布式數(shù)據(jù)庫系統(tǒng)的研究與實現(xiàn)[D];中國人民解放軍信息工程大學(xué);2002年

3 李超俊;基于Web的客戶信息管理系統(tǒng)的開發(fā)[D];吉林大學(xué);2011年

4 焦威;面向Web應(yīng)用的構(gòu)件組裝系統(tǒng)研究與實現(xiàn)[D];西安理工大學(xué);2009年

5 李吉平;基于Web技術(shù)的森林資源信息管理系統(tǒng)研建[D];西北農(nóng)林科技大學(xué);2009年

6 白潔婷;基于Web的在線虛擬實驗室的研究[D];華中科技大學(xué);2009年

7 吳卉;基于Web的機械零件庫瀏覽系統(tǒng)的研發(fā)[D];南京航空航天大學(xué);2010年

8 田振強;基于Web的小麥信息管理系統(tǒng)的構(gòu)建[D];河南農(nóng)業(yè)大學(xué);2010年

9 張平;基于Web技術(shù)的壓鑄模具協(xié)同設(shè)計原理與應(yīng)用系統(tǒng)研究[D];四川大學(xué);2005年

10 謝春麗;基于數(shù)據(jù)挖掘的Web行為特征分析與研究[D];蘇州大學(xué);2003年

，

本文編號：836258