【摘要】：目的形式化地描述Web服務(wù)組合流程,為更好地使用工具和現(xiàn)有方法驗(yàn)證以及測試Web服務(wù)組合奠定基礎(chǔ)。方法用有色Petri網(wǎng)對(duì)BPEL的每種活動(dòng)建模,分析BPEL中scope、compensation、faultHandlers和terminationHandlers幾種活動(dòng)的共同作用,分析BPEL流程的錯(cuò)誤處理機(jī)制和補(bǔ)償機(jī)制;從網(wǎng)資源流動(dòng)的角度完善現(xiàn)有的層次化有色Petri網(wǎng)定義,將BPEL流程的層次關(guān)系映射成層次化有色Petri網(wǎng)的層次關(guān)系。結(jié)果完善了層次化有色Petri網(wǎng)定義,提出了Web服務(wù)組合的層次化建模方法。結(jié)論層次化構(gòu)建Web服務(wù)組合模型是一種可以用于大型BPEL流程的方法,所構(gòu)建的模型有利于從抽象層面和細(xì)節(jié)上分析Web服務(wù)組合。
[Abstract]:Aim to formally describe the Web service composition process and lay the foundation for better use of tools and existing methods to verify and test Web service composition. Methods Colored Petri nets were used to model each activity of BPEL. The interaction of scope,compensation,faultHandlers and terminationHandlers in BPEL was analyzed. The error handling mechanism and compensation mechanism of BPEL process were analyzed. From the point of view of net resource flow, the existing hierarchical colored Petri net definition is perfected, and the hierarchical relation of BPEL process is mapped to the hierarchical relationship of hierarchical colored Petri net. Results the definition of hierarchical colored Petri net is improved and a hierarchical modeling method of Web service composition is proposed. Conclusion the hierarchical construction of Web service composition model is a method that can be used in large-scale BPEL processes. The constructed model is conducive to analyzing Web service composition from the abstract level and the detail.
【作者單位】： 西安建筑科技大學(xué)理學(xué)院;西安電子科技大學(xué)軟件工程研究所;
【基金】：國家十一五國防預(yù)研基金資助項(xiàng)目(513060601) 陜西省教育廳基金資助項(xiàng)目(11JK1068)
【分類號(hào)】：TP393.09

【共引文獻(xiàn)】

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

1 劉悅;等價(jià)標(biāo)識(shí)在謂詞/變遷網(wǎng)系統(tǒng)可達(dá)樹規(guī)�？s減中的應(yīng)用[J];山東科技大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年04期

2 郝克剛;開放網(wǎng)—交互式并行系統(tǒng)的模型[J];西北大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年06期

3 葛瑋，王斌君，郝克剛;一種基于Petri網(wǎng)的半形式化面向?qū)ο蟮拈_發(fā)方法[J];西北大學(xué)學(xué)報(bào)(自然科學(xué)版);1995年05期

4 郝克剛,王斌君;非確定Petri網(wǎng)[J];小型微型計(jì)算機(jī)系統(tǒng);2003年03期

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

1 劉皓瑋;行車指揮系統(tǒng)的Petri網(wǎng)建模與列車運(yùn)行調(diào)整的遺傳優(yōu)化的研究[D];鐵道部科學(xué)研究院;2000年

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

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

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

1 郝克剛;開放網(wǎng)—交互式并行系統(tǒng)的模型[J];西北大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年06期

【相似文獻(xiàn)】

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

1 駱翔宇;譚征;蘇開樂;吳立軍;;一種基于認(rèn)知模型檢測的Web服務(wù)組合驗(yàn)證方法[J];計(jì)算機(jī)學(xué)報(bào);2011年06期

2 黃亮;姚放吾;金仙力;;Apache ODE環(huán)境下Web服務(wù)組合技術(shù)的研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2011年07期

3 劉衛(wèi)紅;周義蓮;;強(qiáng)化學(xué)習(xí)方法在Web服務(wù)組合中的應(yīng)用比較研究[J];計(jì)算機(jī)應(yīng)用與軟件;2011年07期

4 蔡虹;胡云;李存華;;一種基于A*算法的Web Services動(dòng)態(tài)組合策略[J];微電子學(xué)與計(jì)算機(jī);2011年09期

5 王志堅(jiān);李雯睿;楊種學(xué);張鵬程;;基于uMSD的Web服務(wù)組合驗(yàn)證方法研究[J];計(jì)算機(jī)科學(xué);2011年09期

6 夏妍;;基于擴(kuò)展顏色Petri網(wǎng)的Web服務(wù)組合建模及應(yīng)用[J];電腦知識(shí)與技術(shù);2011年21期

7 房丙午;季紅梅;汪永濤;;服務(wù)請求驅(qū)動(dòng)的語義Web服務(wù)組合方法[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2011年08期

8 齊連永;竇萬春;;跨組織協(xié)同中基于局部服務(wù)質(zhì)量優(yōu)化的Web服務(wù)組合方法[J];計(jì)算機(jī)集成制造系統(tǒng);2011年08期

9 ;[J];;年期

10 ;[J];;年期

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

1 劉波;吳家鑄;;Web服務(wù)組合分布式協(xié)調(diào)模型研究[A];2006年全國開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集（二）[C];2006年

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

3 何濤;繆淮扣;錢忠勝;;基于π-演算的web服務(wù)流的分析與建模(英文)[A];全國語域web與本體能研討會(huì)論文集[C];2006年

4 仲晶;黃志球;;面向服務(wù)質(zhì)量的Web服務(wù)選擇方法：研究綜述[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（下）[C];2008年

5 鄭棟;張育平;;基于語義的動(dòng)態(tài)Web服務(wù)組合系統(tǒng)架構(gòu)[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（下）[C];2008年

6 陳步橋;徐濤;;一種基于BPEL加入語義的動(dòng)態(tài)服務(wù)組合框架[A];中國通信學(xué)會(huì)第六屆學(xué)術(shù)年會(huì)論文集（上）[C];2009年

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

1 馮名正;Web服務(wù)組合關(guān)鍵技術(shù)研究[D];東南大學(xué);2006年

2 何豐;語義Web服務(wù)組合若干關(guān)鍵技術(shù)研究[D];東華大學(xué);2008年

3 于守健;基于Web服務(wù)組合的業(yè)務(wù)流程集成關(guān)鍵技術(shù)研究[D];東華大學(xué);2005年

4 辜希武;Web服務(wù)組合形式化模型研究[D];華中科技大學(xué);2007年

5 康輝;基于PI-演算的CPN在移動(dòng)通信服務(wù)建模的研究與應(yīng)用[D];吉林大學(xué);2008年

6 門鵬;基于Petri網(wǎng)的Web服務(wù)組合相關(guān)技術(shù)研究[D];西安電子科技大學(xué);2009年

7 劉兵;基于Web服務(wù)組合的網(wǎng)格工作流研究[D];中國科學(xué)技術(shù)大學(xué);2007年

8 成睿星;基于范例推理技術(shù)的服務(wù)組合研究[D];北京郵電大學(xué);2008年

9 吳江霞;Web組合服務(wù)QoS屬性預(yù)測方法研究[D];北京郵電大學(xué);2008年

10 童紅霞;基于Agent的Web服務(wù)組合技術(shù)研究[D];上海交通大學(xué);2009年

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

1 錢忠山;基于BPEL的醫(yī)療信息交換系統(tǒng)[D];哈爾濱工業(yè)大學(xué);2011年

2 黃宇;基于BPEL的服務(wù)組合動(dòng)態(tài)優(yōu)化機(jī)制研究[D];重慶大學(xué);2012年

3 李晶睿;數(shù)據(jù)可視化的Web服務(wù)及其組合的研究與開發(fā)[D];武漢理工大學(xué);2007年

4 陳旭暉;基于規(guī)劃的語義Web服務(wù)組合技術(shù)研究[D];福州大學(xué);2006年

5 楊秀麗;基于有色Petri網(wǎng)的Web服務(wù)組合[D];吉林大學(xué);2007年

6 賈志淳;基于Pi演算的Web服務(wù)組合兼容性驗(yàn)證方法研究[D];大連海事大學(xué);2008年

7 宋英杰;基于OCL的Web服務(wù)組合形式化約束研究[D];大連海事大學(xué);2009年

8 周如民;BPEL引擎及動(dòng)態(tài)恢復(fù)機(jī)制的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2009年

9 孫長俊;Web服務(wù)組合關(guān)系的研究與實(shí)現(xiàn)[D];河海大學(xué);2007年

10 王赫;基于著色賦時(shí)Petri網(wǎng)的Web服務(wù)組合流程建模研究[D];大連海事大學(xué);2008年

，

本文編號(hào)：2452927