本文關(guān)鍵詞：基于Petri網(wǎng)的服務(wù)可靠性評(píng)價(jià)方法研究

  更多相關(guān)文章： 服務(wù)組合 Petri網(wǎng) 可靠性評(píng)估

【摘要】：服務(wù)的可靠性研究成為一個(gè)研究熱點(diǎn)。首先研究基于Petri網(wǎng)的結(jié)構(gòu)關(guān)聯(lián)的服務(wù)組合描述語(yǔ)言BPEL;而對(duì)于服務(wù)交互關(guān)聯(lián)模型,構(gòu)造服務(wù)組合模型的Petri網(wǎng)表示的交互特點(diǎn);給出服務(wù)組合Petri網(wǎng)定義,建立基于服務(wù)組合Petri網(wǎng)的模型可靠性評(píng)估方法,包含結(jié)構(gòu)關(guān)聯(lián)的可靠性計(jì)算方法和交互關(guān)聯(lián)模型可靠性化簡(jiǎn)和計(jì)算方法;最后給出旅游服務(wù)系統(tǒng)案例分析,說(shuō)明了方法的可用性和合理性。
【作者單位】： 北京航空航天大學(xué)計(jì)算機(jī)學(xué)院;
【關(guān)鍵詞】： 服務(wù)組合 Petri網(wǎng) 可靠性評(píng)估
【分類號(hào)】：TP393.09;TP301.1
【正文快照】： 1引言通過(guò)協(xié)調(diào)組織多個(gè)Web服務(wù)之間的交互,服務(wù)組合提供了更為強(qiáng)大的服務(wù)功能來(lái)滿足復(fù)雜的用戶需求,服務(wù)組合的研究工作已經(jīng)取得了重要進(jìn)展[1-3]。服務(wù)組合是指為滿足特定復(fù)雜要求,多個(gè)服務(wù)之間通過(guò)一定關(guān)聯(lián)組合在一起。關(guān)聯(lián)方式一般包括兩類:結(jié)構(gòu)關(guān)聯(lián)和交互關(guān)聯(lián)。參與服務(wù)組

【參考文獻(xiàn)】

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

1 張廣勝;蔣昌俊;丁志軍;;基于模糊Petri網(wǎng)的服務(wù)發(fā)現(xiàn)框架研究[J];計(jì)算機(jī)研究與發(fā)展;2006年11期

2 門鵬;段振華;;著色Petri網(wǎng)模型檢測(cè)工具的擴(kuò)展及其在Web服務(wù)組合中的應(yīng)用[J];計(jì)算機(jī)研究與發(fā)展;2009年08期

3 朱俊;郭長(zhǎng)國(guó);吳泉源;;一種基于CPN的運(yùn)行時(shí)監(jiān)控服務(wù)交互行為的方法[J];計(jì)算機(jī)研究與發(fā)展;2011年12期

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

5 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動(dòng)組合研究[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

6 楊璐;柳溪;王林章;陳鑫;李宣東;;面向基于場(chǎng)景規(guī)約的Web服務(wù)消息流分析與驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

7 鄧婷;懷進(jìn)鵬;沃天宇;;正確性保證的組合服務(wù)綜合問(wèn)題復(fù)雜度研究[J];中國(guó)科學(xué):信息科學(xué);2012年07期

【共引文獻(xiàn)】

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

1 代秀娟;章昭輝;王敏生;楊娟;潘冬生;汪小寒;;旅游信息服務(wù)組合的Petri網(wǎng)建模及其實(shí)現(xiàn)[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年04期

2 常宏達(dá);孫文輝;于雙元;丁丁;;Web服務(wù)組合形式理論分析與研究[J];兵工自動(dòng)化;2009年05期

3 康輝;苑森淼;浦潔;劉勇;;基于Pi演算的Web服務(wù)建模與WSDL轉(zhuǎn)換[J];北京工業(yè)大學(xué)學(xué)報(bào);2008年11期

4 周宇;張鵬程;李必信;;一種Web服務(wù)組合的數(shù)學(xué)模型[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年04期

5 徐光平;張樺;王法玉;薛彥兵;;基于BPEL描述的移動(dòng)工作流的協(xié)同機(jī)制與實(shí)現(xiàn)[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年S2期

6 代鈺;楊雷;張斌;;面向業(yè)務(wù)領(lǐng)域基于智能規(guī)劃的web服務(wù)組合(英文)[J];Journal of Southeast University(English Edition);2007年03期

7 程杰;程燕;;Web服務(wù)復(fù)合技術(shù)在SOA系統(tǒng)中的研究與應(yīng)用[J];電腦知識(shí)與技術(shù);2006年26期

8 苑慶濤;陳彥萍;;Web服務(wù)組合方法研究綜述[J];電腦知識(shí)與技術(shù);2010年07期

9 魏慧;;基于XYZ/ADL的BPEL4WS Web服務(wù)組合描述方法[J];電腦知識(shí)與技術(shù);2010年29期

10 劉紹華;馬鐵軍;景興建;;云端的服務(wù)協(xié)作動(dòng)態(tài)構(gòu)造技術(shù)研究綜述[J];電信科學(xué);2010年S1期

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

1 趙會(huì)群;孫晶;魏瑩;王文文;;服務(wù)體系結(jié)構(gòu)的動(dòng)態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國(guó)計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

2 張功源;李必信;邱棟;吉順慧;;一種基于并發(fā)的BPEL控制流模型的分析及驗(yàn)證[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

3 王娟;;基于著色Petri網(wǎng)的工作流異常處理模型[A];山東計(jì)算機(jī)學(xué)會(huì)2013學(xué)術(shù)年會(huì)論文集[C];2013年

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

1 劉心;基于Petri網(wǎng)的FMS建模及故障診斷方法研究[D];哈爾濱工程大學(xué);2010年

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

3 曹洪江;基于用戶需求的Web服務(wù)組合系統(tǒng)研究[D];武漢理工大學(xué);2010年

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

5 趙亮;Web服務(wù)組合性能建模與分析[D];武漢大學(xué);2009年

6 曾鳴;基于SOA的森林資源空間信息分級(jí)服務(wù)研究[D];中國(guó)林業(yè)科學(xué)研究院;2011年

7 周航;基于質(zhì)量有色Petri網(wǎng)的Web組合服務(wù)建模與沖突、沖撞研究[D];南京航空航天大學(xué);2009年

8 彭淑芬;基于信任的網(wǎng)絡(luò)交互模式建立的模型和方法的研究[D];北京工業(yè)大學(xué);2011年

9 肖芳雄;面向QoS的Web服務(wù)組合建模和驗(yàn)證研究[D];南京航空航天大學(xué);2010年

10 朱俊;基于Petri網(wǎng)的Web服務(wù)組合的交互模型及其應(yīng)用機(jī)理的研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

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

1 馬文濤;基于Web Services的工作流系統(tǒng)新模型的研究與實(shí)現(xiàn)[D];遼寧工程技術(shù)大學(xué);2010年

2 康件麗;網(wǎng)格服務(wù)質(zhì)量評(píng)價(jià)與服務(wù)組合的研究[D];河南理工大學(xué);2010年

3 張大奎;基于Agent的網(wǎng)格服務(wù)組合研究[D];河南理工大學(xué);2010年

4 王志兵;軟件行為運(yùn)行時(shí)驗(yàn)證研究[D];湖南工業(yè)大學(xué);2010年

5 鄭姜;基于WS-CDL的貿(mào)易協(xié)同流程建模工具的研究與實(shí)現(xiàn)[D];華東理工大學(xué);2011年

6 楊彥博;基于流演算的上下文感知Web服務(wù)組合研究[D];浙江大學(xué);2011年

7 宋仲凱;大粒度服務(wù)組合驗(yàn)證工具的設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2011年

8 朱恒亮;SOA中服務(wù)與服務(wù)組合的形式化研究[D];福建師范大學(xué);2010年

9 李延紅;基于Pi演算的Web服務(wù)組合技術(shù)研究[D];山東經(jīng)濟(jì)學(xué)院;2011年

10 王軼;基于顏色Petri網(wǎng)的BPEL自動(dòng)生成方法[D];北方工業(yè)大學(xué);2011年

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

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

1 周建濤,史美林,葉新銘;工作流過(guò)程建模中的形式化驗(yàn)證技術(shù)[J];計(jì)算機(jī)研究與發(fā)展;2005年01期

2 門鵬;段振華;;著色Petri網(wǎng)模型檢測(cè)工具的擴(kuò)展及其在Web服務(wù)組合中的應(yīng)用[J];計(jì)算機(jī)研究與發(fā)展;2009年08期

3 王曉玲,郭志懋,周傲英;Web服務(wù)組合的基于文法的消息處理[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

4 胡建強(qiáng),鄒鵬,王懷民,周斌;Web服務(wù)描述語(yǔ)言QWSDL和服務(wù)匹配模型研究[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

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

6 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動(dòng)組合研究[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

7 蔣屹新,林闖,曲揚(yáng),尹浩;基于Petri網(wǎng)的模型檢測(cè)研究[J];軟件學(xué)報(bào);2004年09期

8 雷麗暉;段振華;;一種基于擴(kuò)展有限自動(dòng)機(jī)驗(yàn)證組合Web服務(wù)的方法[J];軟件學(xué)報(bào);2007年12期

9 王杰生;李舟軍;李夢(mèng)君;;用描述邏輯進(jìn)行語(yǔ)義Web服務(wù)組合[J];軟件學(xué)報(bào);2008年04期

【相似文獻(xiàn)】

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

1 吉春山;劉曉燕;呂蘇環(huán);;Web服務(wù)語(yǔ)言BPEL到接口自動(dòng)機(jī)的轉(zhuǎn)換[J];山東理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年02期

2 劉冰;饒若楠;;一種普適環(huán)境下面向服務(wù)的事務(wù)處理模型[J];計(jì)算機(jī)應(yīng)用與軟件;2010年05期

3 唐磊;淮曉永;李明樹(shù);;一種基于上下文協(xié)商的動(dòng)態(tài)服務(wù)組合方法[J];計(jì)算機(jī)研究與發(fā)展;2008年11期

4 曾云峰;周航;黃志球;;BPEL的測(cè)試用例生成研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2008年20期

5 李杜;陳松喬;;基于語(yǔ)義的動(dòng)態(tài)服務(wù)組織模型[J];計(jì)算機(jī)技術(shù)與發(fā)展;2008年11期

6 魏慧;戎玫;張廣泉;;一種基于體系結(jié)構(gòu)的Web服務(wù)組合描述方法[J];計(jì)算機(jī)工程與科學(xué);2008年12期

7 王強(qiáng);王家耀;郭建忠;;基于Agent的空間信息服務(wù)組合研究[J];測(cè)繪科學(xué)技術(shù)學(xué)報(bào);2009年01期

8 呂慶聰;干露;曹奇英;;普適計(jì)算服務(wù)組合技術(shù)綜述[J];計(jì)算機(jī)應(yīng)用研究;2009年02期

9 歐毓毅;王浩;凌捷;郭荷清;;一種適應(yīng)電子政務(wù)的自主性服務(wù)結(jié)構(gòu)[J];微電子學(xué)與計(jì)算機(jī);2009年01期

10 王一飛;吳素芹;王榕;;基于工作流的Web服務(wù)組合系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];信息化縱橫;2009年05期

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

1 韓雪;黃雙喜;范玉順;;基于BPEL的工作流引擎研究與開(kāi)發(fā)[A];2008全國(guó)制造業(yè)信息化標(biāo)準(zhǔn)化論壇論文集[C];2008年

2 趙蕓;司華友;莫路鋒;;基于用例本體建模的服務(wù)自動(dòng)組合方法研究[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

3 陳裕;林輝;;基于SOA的ERP系統(tǒng)架構(gòu)模型研究[A];信息經(jīng)濟(jì)學(xué)與電子商務(wù)：第十三屆中國(guó)信息經(jīng)濟(jì)學(xué)會(huì)學(xué)術(shù)年會(huì)論文集[C];2008年

4 徐其興;余鎮(zhèn)危;;一種基于移動(dòng)Agent的服務(wù)組合模型[A];2006年全國(guó)開(kāi)放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集（二）[C];2006年

5 司華友;趙蕓;莫路鋒;;基于領(lǐng)域行為本體建模的服務(wù)自動(dòng)組合研究[A];全國(guó)第十屆企業(yè)信息化與工業(yè)工程學(xué)術(shù)年會(huì)論文集[C];2006年

6 馮細(xì)光;劉建勛;;開(kāi)放Web服務(wù)測(cè)試平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)[A];第18屆全國(guó)多媒體學(xué)術(shù)會(huì)議（NCMT2009）、第5屆全國(guó)人機(jī)交互學(xué)術(shù)會(huì)議（CHCI2009）、第5屆全國(guó)普適計(jì)算學(xué)術(shù)會(huì)議（PCC2009）論文集[C];2009年

7 汪小林;龐瀟;王海波;羅英偉;;基于SOA的GIS應(yīng)用設(shè)計(jì)與實(shí)現(xiàn)[A];2009`中國(guó)地理信息產(chǎn)業(yè)論壇暨第二屆教育論壇就業(yè)洽談會(huì)論文集[C];2009年

8 張輝;宋曉;張霖;;面向數(shù)字化設(shè)計(jì)的產(chǎn)品共享信息語(yǔ)義模型研究[A];全國(guó)先進(jìn)制造技術(shù)高層論壇暨第八屆制造業(yè)自動(dòng)化與信息化技術(shù)研討會(huì)論文集[C];2009年

9 劉水平;韓偉紅;劉家紅;尹剛;;基于SOA的應(yīng)用集成框架研究[A];2006年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

10 孫振中;;構(gòu)建開(kāi)放式OA平臺(tái)[A];中國(guó)新聞技術(shù)工作者聯(lián)合會(huì)五屆一次理事會(huì)暨學(xué)術(shù)年會(huì)論文集（上篇）[C];2009年

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

1 郭濤;咨詢與管理一氣呵成[N];中國(guó)計(jì)算機(jī)報(bào);2006年

2 CRM資深專家 葉開(kāi);本土超市的CRM大多是偽CRM[N];中國(guó)計(jì)算機(jī)報(bào);2007年

3 沈建苗 編譯;利用現(xiàn)有服務(wù)構(gòu)建SOA應(yīng)用[N];計(jì)算機(jī)世界;2006年

4 趙曉濤;安全導(dǎo)向中的SOA[N];網(wǎng)絡(luò)世界;2007年

5 韓燕波 熊錦華 張程 喻堅(jiān) 李務(wù)斌;走近VINCA服務(wù)網(wǎng)格[N];計(jì)算機(jī)世界;2006年

6 于翔;SOA實(shí)施如何又好又快？[N];網(wǎng)絡(luò)世界;2007年

7 艾司科;艾司科加大校園軟件人才培訓(xùn)力度[N];中國(guó)包裝報(bào);2009年

8 記者 涂亞卓邋通訊員 李宏 魏妍芬 陳宇飛;EDS在漢設(shè)全球服務(wù)中心[N];湖北日?qǐng)?bào);2007年

9 ;精簡(jiǎn)渠道 協(xié)同業(yè)務(wù)[N];電腦商報(bào);2010年

10 ;大唐軟件構(gòu)建完美支撐系統(tǒng)[N];人民郵電;2007年

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

1 劉波;云制造環(huán)境中面向多任務(wù)的服務(wù)組合與優(yōu)化技術(shù)研究[D];重慶大學(xué);2012年

2 高明;知識(shí)協(xié)同工作流建模、服務(wù)規(guī)劃和服務(wù)組合研究[D];東北財(cái)經(jīng)大學(xué);2013年

3 劉士軍;制造網(wǎng)格架構(gòu)與制造資源協(xié)同管理技術(shù)研究[D];山東大學(xué);2006年

4 龔小勇;基于QoS的Web服務(wù)發(fā)現(xiàn)與組合方法研究[D];重慶大學(xué);2008年

5 尚宗敏;智能流程異常處理的若干關(guān)鍵技術(shù)研究[D];山東大學(xué);2009年

6 李科;網(wǎng)格環(huán)境下地理信息服務(wù)關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2008年

7 戚玉松;面向服務(wù)的電子政務(wù)系統(tǒng)研究[D];南京理工大學(xué);2007年

8 鐘讀杭;Web服務(wù)組合的可靠性預(yù)測(cè)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2007年

9 廖軍;面向服務(wù)的計(jì)算（SOC）中服務(wù)組合的研究[D];電子科技大學(xué);2006年

10 王方雄;基于原子服務(wù)的網(wǎng)格空間信息服務(wù)互操作研究[D];武漢大學(xué);2005年

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

1 劉許偉;基于動(dòng)態(tài)工作流的自適應(yīng)Web服務(wù)組合[D];河北大學(xué);2011年

2 周迎鳳;基于BPEL的動(dòng)態(tài)服務(wù)組合研究[D];浙江大學(xué);2006年

3 郭飛;SOA中服務(wù)組合與自動(dòng)構(gòu)建技術(shù)研究[D];重慶大學(xué);2008年

4 汪洪;基于Petri網(wǎng)的Web服務(wù)業(yè)務(wù)流程驗(yàn)證研究及工具實(shí)現(xiàn)[D];合肥工業(yè)大學(xué);2007年

5 張磊;基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證技術(shù)[D];吉林大學(xué);2011年

6 饒錫如;基于工作流的服務(wù)組合在電子政務(wù)系統(tǒng)中的研究及應(yīng)用[D];重慶大學(xué);2009年

7 梁本志;基于SOA架構(gòu)服務(wù)組合的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2008年

8 李瑞;基于語(yǔ)義Web服務(wù)的企業(yè)應(yīng)用集成研究[D];合肥工業(yè)大學(xué);2009年

9 左敏;企業(yè)應(yīng)用集成中的工作流管理系統(tǒng)研究[D];重慶大學(xué);2009年

10 王晴;基于上下文感知的移動(dòng)向?qū)I(yè)務(wù)的設(shè)計(jì)和實(shí)現(xiàn)[D];北京郵電大學(xué);2009年

，

本文編號(hào)：1078968