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

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

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

【參考文獻(xiàn)】

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

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

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

3 駱翔宇;軒愛(ài)成;沙宗魯;;基于時(shí)間自動(dòng)機(jī)的Web服務(wù)模型檢測(cè)[J];計(jì)算機(jī)科學(xué);2010年08期

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 徐加帥;一種支持QoS的Web服務(wù)擴(kuò)展機(jī)制的研究[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 華建新;基于語(yǔ)義的Web服務(wù)發(fā)現(xiàn)及算法研究[D];長(zhǎng)沙理工大學(xué);2010年

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

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

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

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

【二級(jí)參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

2 何志勇 ,何紹榮;基于WEB的學(xué)生成績(jī)管理系統(tǒng)[J];自貢師范高等�？茖W(xué)校學(xué)報(bào);2003年04期

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

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

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

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

7 盛志偉,劉仕筠,劉雙虎;基于Web的網(wǎng)絡(luò)考試系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(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];中國(guó)科技信息;2005年04期

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

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

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

3 科訊;WEB教師——一個(gè)全新職業(yè)的透析[N];科技日?qǐng)?bào);2001年

4 王雅麗;博客社區(qū)齊上陣 銀行借Web 2.0拉攏未來(lái)客戶[N];中國(guó)計(jì)算機(jī)報(bào);2008年

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

6 居易;WEB教師熱門起來(lái)[N];組織人事報(bào);2001年

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

8 本報(bào)記者 徐恒;手機(jī)瀏覽器：競(jìng)爭(zhēng)不斷加劇 Web大勢(shì)所趨[N];中國(guó)電子報(bào);2009年

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

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

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

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

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

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

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

5 孫濤;面向市場(chǎng)情報(bào)分析的Web實(shí)體事件融合問(wèn)題研究[D];山東大學(xué);2014年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：836258