【摘要】：Petri網(wǎng)是一種適合描述Web服務(wù)組合的建模方法,但是它無(wú)法對(duì)Web服務(wù)的服務(wù)質(zhì)量(QoS)進(jìn)行建模和分析。為此,將用戶(hù)最為關(guān)心的服務(wù)時(shí)間、價(jià)格和概率3種QoS因素引入到Petri網(wǎng)模型中進(jìn)行建模,提出了概率時(shí)間價(jià)格Petri網(wǎng)PTCPN,給出了PTCPN的語(yǔ)義及分析求解算法,并進(jìn)行了實(shí)例建模和分析。結(jié)果表明,PTCPN可以有效支持服務(wù)組合功能和QoS的形式化統(tǒng)一建模和分析。
[Abstract]:Petri net is a modeling method suitable for describing the composition of Web services, but it can not model and analyze the quality of service (QoS) of Web services. In this paper, three QoS factors, such as service time, price and probability, are introduced into the Petri net model, and the probabilistic time price Petri net PTCPN, is proposed. The semantic and analytical algorithm of PTCPN is given. At the same time, an example modeling and analysis is carried out. The results show that PTCPN can effectively support the formal unified modeling and analysis of service composition function and QoS.
【作者單位】： 中國(guó)科學(xué)院計(jì)算技術(shù)研究所計(jì)算機(jī)應(yīng)用研究中心;中國(guó)電子設(shè)備工程系統(tǒng)工程有限公司研究所;
【基金】：國(guó)家高技術(shù)研究發(fā)展計(jì)劃(863)(2011AA120302)資助
【分類(lèi)號(hào)】：TP393.09;TP301.1

【參考文獻(xiàn)】

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

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

2 閆春鋼;蔣昌俊;李啟炎;;基于Petri網(wǎng)的Web服務(wù)組合與分析[J];計(jì)算機(jī)科學(xué);2007年02期

3 肖芳雄;李燕;黃志球;曹子寧;陳哲;范大娟;;基于時(shí)間概率代價(jià)進(jìn)程代數(shù)的Web服務(wù)組合建模和分析[J];計(jì)算機(jī)學(xué)報(bào);2012年05期

4 李金忠;夏潔武;唐衛(wèi)東;曾勁濤;王翔;吳蘭英;;基于QoS的Web服務(wù)選擇算法綜述[J];計(jì)算機(jī)應(yīng)用研究;2010年10期

5 肖芳雄;黃志球;曹子寧;屠立忠;祝義;;Web服務(wù)組合功能與QoS的形式化統(tǒng)一建模和分析[J];軟件學(xué)報(bào);2011年11期

【共引文獻(xiàn)】

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

1 方冉;陳乃金;;基于S3C44B0X處理器觸摸屏接口的設(shè)計(jì)與測(cè)試[J];安徽工程科技學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年02期

2 王娜;羅小明;;基于模糊Petri網(wǎng)的推理算法在C~4ISR系統(tǒng)效能評(píng)估中的應(yīng)用[J];兵工自動(dòng)化;2008年05期

3 宋朝河;戴羽;;基于面向?qū)ο驪etri網(wǎng)的偵察配系評(píng)估模型[J];兵工自動(dòng)化;2009年04期

4 劉學(xué)程;張乾;蔡強(qiáng);王駿;陳煜;;基于CPN的維修保障資源配置建模與仿真方法[J];兵工自動(dòng)化;2009年09期

5 黃東坡;曹繼平;宋建社;楊檬;;基于Petri網(wǎng)的虛擬維修過(guò)程建模[J];兵工自動(dòng)化;2011年01期

6 徐春香;屈婉玲;王捍貧;朱梅霞;;死路刪除語(yǔ)義下的WS-BPEL流程的建模[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年02期

7 羅杰;段建民;陳建新;;MAS行為協(xié)進(jìn)化Petri網(wǎng)模型構(gòu)建[J];北京工業(yè)大學(xué)學(xué)報(bào);2008年07期

8 郭峰;姚淑珍;;基于Petri網(wǎng)的UML狀態(tài)圖的形式化模型[J];北京航空航天大學(xué)學(xué)報(bào);2007年02期

9 馬鋒;邱菀華;;高空模擬試驗(yàn)應(yīng)急管理的Petri網(wǎng)建模及應(yīng)用[J];北京航空航天大學(xué)學(xué)報(bào);2010年10期

10 楊春輝;楊建軍;姚路;;多階段任務(wù)系統(tǒng)通用可靠性仿真模型[J];北京航空航天大學(xué)學(xué)報(bào);2011年12期

相關(guān)會(huì)議論文 前10條

1 岳昊;李文杰;陳寶興;;Petri網(wǎng)系統(tǒng)本原有效受控可重復(fù)向量分析[A];中國(guó)自動(dòng)化學(xué)會(huì)控制理論專(zhuān)業(yè)委員會(huì)B卷[C];2011年

2 阿孜古麗;劉建明;劉潔卉;;基于Petri網(wǎng)的業(yè)務(wù)流程評(píng)估[A];著力提高高等教育質(zhì)量，努力增強(qiáng)高校創(chuàng)新與服務(wù)能力——北京市高等教育學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集（下冊(cè)）[C];2008年

3 葛丹;鄭會(huì)頌;姚國(guó)章;;應(yīng)急管理工作流模型的研究[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國(guó)科協(xié)年會(huì)論文集（一）[C];2007年

4 魯志兵;胡金柱;胡燕;焦金丹;舒江波;;門(mén)戶(hù)網(wǎng)自助系統(tǒng)的擴(kuò)展有色Petri網(wǎng)建模與分析[A];2006年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

5 王小梅;朱詩(shī)兵;王新波;;軍事航天信息網(wǎng)絡(luò)的Petri網(wǎng)建模與分析[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

6 孫明;張申;馬亞龍;;一種基于事件邏輯分析的作戰(zhàn)仿真可信性評(píng)估方法[A];第13屆中國(guó)系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)年會(huì)論文集[C];2011年

7 童朝南;李寶峰;;電梯群控系統(tǒng)的Petri網(wǎng)建模與分析[A];冶金企業(yè)自動(dòng)化、信息化與創(chuàng)新——全國(guó)冶金自動(dòng)化信息網(wǎng)建網(wǎng)30周年論文集[C];2007年

8 丁峰;陸陽(yáng);程運(yùn)安;;汽車(chē)車(chē)身控制系統(tǒng)的規(guī)則化描述和Petri網(wǎng)建模研究[A];第六屆全國(guó)信息獲取與處理學(xué)術(shù)會(huì)議論文集（3）[C];2008年

9 楊鵬;袁占亭;王繼曾;;基于廣義隨機(jī)Petri網(wǎng)的SIP的時(shí)延分析[A];第三屆全國(guó)虛擬儀器大會(huì)論文集[C];2008年

10 高茜;周大均;李?lèi)?ài)民;;Petri網(wǎng)改進(jìn)的可覆蓋性樹(shù)的構(gòu)造算法[A];全國(guó)第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議（CACIS·2009）暨全國(guó)第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（上冊(cè)）[C];2009年

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

1 宋巍;Web服務(wù)組合動(dòng)態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

2 梅櫻;城軌車(chē)輛新型網(wǎng)絡(luò)控制系統(tǒng)的調(diào)度、建模及優(yōu)化[D];北京交通大學(xué);2011年

3 陳輝;控制網(wǎng)絡(luò)節(jié)點(diǎn)通信協(xié)議棧可重構(gòu)自組織研究[D];華中科技大學(xué);2011年

4 楊鵬;基于廣義隨機(jī)Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學(xué);2009年

5 李憲華;服務(wù)機(jī)器人雙臂協(xié)作技術(shù)研究及實(shí)現(xiàn)[D];上海大學(xué);2011年

6 韓成果;基于業(yè)務(wù)流程優(yōu)化的信息家電分銷(xiāo)電子商務(wù)研究與應(yīng)用[D];中國(guó)礦業(yè)大學(xué)（北京）;2011年

7 趙祥模;汽車(chē)ABS防抱制動(dòng)特性及其不解體檢測(cè)技術(shù)研究[D];長(zhǎng)安大學(xué);2006年

8 劉昌平;可信計(jì)算環(huán)境安全技術(shù)研究[D];電子科技大學(xué);2011年

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

10 唐小衛(wèi);協(xié)同決策機(jī)制下航空運(yùn)輸系統(tǒng)不正常航班問(wèn)題研究[D];南京航空航天大學(xué);2009年

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

1 劉炎培;基于擴(kuò)展OOPN業(yè)務(wù)流程建模及異常處理模型研究[D];南昌航空大學(xué);2010年

2 楊磊;基于面向?qū)ο驪etri網(wǎng)的企業(yè)間工作流建模研究[D];山東科技大學(xué);2010年

3 李蕾;有色Petri網(wǎng)的動(dòng)態(tài)性質(zhì)判定及其在組裝生產(chǎn)線(xiàn)中的應(yīng)用[D];山東科技大學(xué);2010年

4 孫海春;C_net到可編譯表達(dá)式的映射方法[D];山東科技大學(xué);2010年

5 王廷剛;Petri網(wǎng)表征語(yǔ)言和可達(dá)性分析[D];山東科技大學(xué);2010年

6 呂楠;基于層次顏色Petri網(wǎng)的協(xié)同工作流的建模與分析[D];山東科技大學(xué);2010年

7 肖露娟;Web服務(wù)組合性能分析[D];浙江理工大學(xué);2010年

8 林紅昌;基于UML的軟件系統(tǒng)的功能性驗(yàn)證和非功能性度量[D];浙江理工大學(xué);2010年

9 梁永會(huì);面向網(wǎng)格服務(wù)的SWAT模型集成體系研究[D];鄭州大學(xué);2010年

10 李建民;AUV水下回收預(yù)測(cè)與協(xié)調(diào)控制技術(shù)研究[D];哈爾濱工程大學(xué);2010年

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

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

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

2 孫學(xué)勝;曹玖新;劉波;胡波;李和光;;基于多目標(biāo)粒子群優(yōu)化的服務(wù)選擇算法[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年04期

3 劉婷,林闖,劉衛(wèi)東;基于時(shí)間Petri網(wǎng)的工作流系統(tǒng)模型的線(xiàn)性推理[J];電子學(xué)報(bào);2002年02期

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

5 呂建;馬曉星;陶先平;徐鋒;胡昊;;網(wǎng)構(gòu)軟件的研究與進(jìn)展[J];中國(guó)科學(xué)E輯:信息科學(xué);2006年10期

6 楊放春;蘇森;李禎;;混合QoS模型感知的語(yǔ)義Web服務(wù)組合策略[J];中國(guó)科學(xué)(E輯:信息科學(xué));2008年10期

7 蘇森;李飛;楊放春;;分布式環(huán)境中服務(wù)組合的迭代選擇算法[J];中國(guó)科學(xué)(E輯:信息科學(xué));2008年10期

8 范小芹;蔣昌俊;方賢文;丁志軍;;基于離散微粒群算法的動(dòng)態(tài)Web服務(wù)選擇[J];計(jì)算機(jī)研究與發(fā)展;2010年01期

9 朱紅寧;張斌;;基于SPA的Web服務(wù)選取方法[J];計(jì)算機(jī)科學(xué);2009年11期

10 劉莉平;陳志剛;劉愛(ài)心;;基于粒子群算法的Web服務(wù)組合研究[J];計(jì)算機(jī)工程;2008年05期

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

1 尹澤明;基于服務(wù)組合、支持業(yè)務(wù)質(zhì)量感知的電信業(yè)務(wù)提供若干關(guān)鍵問(wèn)題研究[D];北京郵電大學(xué);2008年

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

1 張亞;基于QoS服務(wù)選擇機(jī)制的設(shè)計(jì)與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2007年

【相似文獻(xiàn)】

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

1 劉君;黃櫻;陳敏;;基于Petri網(wǎng)的項(xiàng)目審批建模分析[J];福建電腦;2008年08期

2 何勇，，王紅衛(wèi)，費(fèi)奇;基于Petri網(wǎng)的建模支持[J];華中理工大學(xué)學(xué)報(bào);1995年05期

3 鄭紅;宋國(guó)新;;一種形式化的工作流網(wǎng)模型[J];華東理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年01期

4 馮良炳;古天龍;;Web服務(wù)組合中非確定性特征交互的Petri網(wǎng)檢測(cè)[J];桂林電子科技大學(xué)學(xué)報(bào);2007年06期

5 汪凱;馮驚雷;張恒喜;;基于Petri網(wǎng)的軍用飛機(jī)使用維修保障建模[J];裝備指揮技術(shù)學(xué)院學(xué)報(bào);2005年06期

6 張曉琴;于洪敏;田建章;;基于Petri網(wǎng)的集團(tuán)軍裝備指揮流程建模[J];科學(xué)技術(shù)與工程;2007年04期

7 田娥;莫易敏;李毅;;辦公自動(dòng)化環(huán)境下公文管理的Petri網(wǎng)模型[J];武漢理工大學(xué)學(xué)報(bào)(交通科學(xué)與工程版);2007年05期

8 李春杰;肖素梅;朱霄聰;;基于Petri網(wǎng)與Flexsim的生產(chǎn)物流系統(tǒng)建模與仿真[J];機(jī)械設(shè)計(jì)與制造;2007年12期

9 薛景;;衛(wèi)生監(jiān)督管理信息系統(tǒng)工作流建模及分析[J];辦公自動(dòng)化;2008年14期

10 宮杰;;基于Petri網(wǎng)的鐵路聯(lián)鎖軟件測(cè)評(píng)的道岔仿真建模[J];電腦知識(shí)與技術(shù);2008年30期

相關(guān)會(huì)議論文 前10條

1 李宏光;俞金壽;;DMF溶劑回收開(kāi)車(chē)過(guò)程的遞階Petri網(wǎng)描述[A];2003中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2003年

2 臧孌;王景華;韓江洪;吳宗彥;;面向?qū)ο驪etri網(wǎng)生產(chǎn)調(diào)度建模[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

3 胡紅革;趙強(qiáng);黃大貴;;分布式控制系統(tǒng)的混合Petri網(wǎng)建模和分析[A];第二屆全國(guó)信息獲取與處理學(xué)術(shù)會(huì)議論文集[C];2004年

4 王宇;王以直;李敏強(qiáng);;動(dòng)態(tài)自適應(yīng)工作流系統(tǒng)的建模研究[A];2000中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2000年

5 王志堅(jiān);蔡自興;;基于Petri網(wǎng)的制造系統(tǒng)建模與分析[A];面向制造業(yè)的自動(dòng)化與信息化技術(shù)創(chuàng)新設(shè)計(jì)的基礎(chǔ)技術(shù)——2001年中國(guó)機(jī)械工程學(xué)會(huì)年會(huì)暨第九屆全國(guó)特種加工學(xué)術(shù)年會(huì)論文集[C];2001年

6 趙彩霞;高學(xué)東;喬衛(wèi)義;;基于Petri網(wǎng)的工作流建模技術(shù)在社會(huì)保險(xiǎn)系統(tǒng)中的應(yīng)用[A];全國(guó)第八屆工業(yè)工程與企業(yè)信息化學(xué)術(shù)會(huì)議論文集[C];2004年

7 韓東紅;王國(guó)仁;周銳;公丕臻;王劍;杜鈺;;基于控制理論的數(shù)據(jù)流QoS自適應(yīng)框架及卸載技術(shù)的研究[A];第二十三屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

8 尹章才;李霖;;基于Petri網(wǎng)的時(shí)空拓?fù)潢P(guān)系研究[A];中國(guó)地理信息系統(tǒng)協(xié)會(huì)第八屆年會(huì)論文集[C];2004年

9 段江嬌;薛永生;;數(shù)據(jù)庫(kù)中間件的QoS研究及設(shè)計(jì)[A];第二十屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2003年

10 徐光輝;徐志軍;;C/E系統(tǒng)Petri網(wǎng)的VHDL建模與仿真[A];開(kāi)創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2001年

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

1 對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)信息學(xué)院 曹景廣;用UML實(shí)現(xiàn)ERP系統(tǒng)建模（三）[N];國(guó)際商報(bào);2002年

2 對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)信息學(xué)院 曹景廣;用UML實(shí)現(xiàn)ERP系統(tǒng)建模（六）[N];國(guó)際商報(bào);2002年

3 ;MatLab為嵌入設(shè)計(jì)建模[N];中國(guó)計(jì)算機(jī)報(bào);2001年

4 瑞莉編譯;BPM在技術(shù)和業(yè)務(wù)間搭起橋梁[N];計(jì)算機(jī)世界;2004年

5 徐鵬;使用Sketchup的體會(huì)[N];中華建筑報(bào);2008年

6 云南 水水;AutoCAD也玩手機(jī)建模[N];電腦報(bào);2004年

7 賈振;你是我的小小狗[N];中國(guó)電腦教育報(bào);2004年

8 鐵道第三勘察設(shè)計(jì)院 于煬　吳耀良;在虛擬中設(shè)計(jì)鐵路[N];計(jì)算機(jī)世界;2010年

9 ;軟件系統(tǒng)建模出臺(tái)國(guó)家標(biāo)準(zhǔn)[N];計(jì)算機(jī)世界;2003年

10 對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué)信息學(xué)院 曹景廣;用UML實(shí)現(xiàn)ERP系統(tǒng)建模（四）[N];國(guó)際商報(bào);2002年

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

1 趙村民;WEBGIS的QoS問(wèn)題及關(guān)鍵技術(shù)研究[D];中國(guó)地質(zhì)大學(xué)（北京）;2005年

2 鄭紅;分布式系統(tǒng)形式化建模技術(shù)研究[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2003年

3 盧選民;基于TPN的多媒體動(dòng)態(tài)同步模型及同步控制機(jī)制研究[D];西北工業(yè)大學(xué);2002年

4 葉志寶;支持企業(yè)業(yè)務(wù)過(guò)程持續(xù)改善的應(yīng)用系統(tǒng)開(kāi)發(fā)方法[D];中國(guó)科學(xué)院研究生院（軟件研究所）;2002年

5 于萬(wàn)鈞;工作流管理技術(shù)研究[D];吉林大學(xué);2004年

6 謝楠;基于Petri網(wǎng)的可重組制造系統(tǒng)建模、調(diào)度及控制方法研究[D];同濟(jì)大學(xué);2006年

7 曹春平;基于多Agent的可集成制造執(zhí)行系統(tǒng)（I-MES）關(guān)鍵技術(shù)研究[D];南京航空航天大學(xué);2003年

8 王斌君;工作流過(guò)程模型的層次研究及其分析[D];西北大學(xué);2002年

9 羅鵬程;基于Petri網(wǎng)的系統(tǒng)安全性建模與分析技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2001年

10 董利達(dá);基于序狀Petri網(wǎng)的離散事件系統(tǒng)監(jiān)控理論[D];浙江大學(xué);2004年

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

1 王超男;基于擴(kuò)展Petri網(wǎng)的PPCES建模研究與實(shí)現(xiàn)[D];哈爾濱理工大學(xué);2003年

2 歐陽(yáng)俊;基于Petri網(wǎng)工作流建模的研究與實(shí)現(xiàn)[D];湖南大學(xué);2005年

3 張晨光;基于工作流的辦公自動(dòng)化系統(tǒng)設(shè)計(jì)與開(kāi)發(fā)[D];西安理工大學(xué);2004年

4 周長(zhǎng)紅;UML圖的Petri網(wǎng)建模[D];山東科技大學(xué);2004年

5 鄭艷艷;基于Petri網(wǎng)模型的GUI軟件測(cè)試用例生成研究[D];華中師范大學(xué);2006年

6 祝琳;操作系統(tǒng)對(duì)流媒體QoS支持技術(shù)研究[D];華東師范大學(xué);2002年

7 張守年;改進(jìn)的蟻群算法及其在QoS中的應(yīng)用[D];華南理工大學(xué);2010年

8 李濤;適應(yīng)的分布資源管理技術(shù)的設(shè)計(jì)與研究[D];西北工業(yè)大學(xué);2003年

9 張國(guó)群;軟件項(xiàng)目開(kāi)發(fā)中并行工程方法的過(guò)程建模的研究與應(yīng)用[D];南京理工大學(xué);2005年

10 梁宇;在Linux環(huán)境下對(duì)IP層排隊(duì)算法的性能比較及改進(jìn)[D];電子科技大學(xué);2005年

本文編號(hào)：2451553