Web服務組合的層次化建模
[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.
【作者單位】： 西安建筑科技大學理學院;西安電子科技大學軟件工程研究所;
【基金】：國家十一五國防預研基金資助項目(513060601) 陜西省教育廳基金資助項目(11JK1068)
【分類號】：TP393.09
【共引文獻】
相關(guān)期刊論文 前4條
1 劉悅;等價標識在謂詞/變遷網(wǎng)系統(tǒng)可達樹規(guī)�？s減中的應用[J];山東科技大學學報(自然科學版);1997年04期
2 郝克剛;開放網(wǎng)—交互式并行系統(tǒng)的模型[J];西北大學學報(自然科學版);1997年06期
3 葛瑋，王斌君，郝克剛;一種基于Petri網(wǎng)的半形式化面向?qū)ο蟮拈_發(fā)方法[J];西北大學學報(自然科學版);1995年05期
4 郝克剛,王斌君;非確定Petri網(wǎng)[J];小型微型計算機系統(tǒng);2003年03期
相關(guān)博士學位論文 前2條
1 劉皓瑋;行車指揮系統(tǒng)的Petri網(wǎng)建模與列車運行調(diào)整的遺傳優(yōu)化的研究[D];鐵道部科學研究院;2000年
2 王斌君;工作流過程模型的層次研究及其分析[D];西北大學;2002年
【二級參考文獻】
相關(guān)期刊論文 前1條
1 郝克剛;開放網(wǎng)—交互式并行系統(tǒng)的模型[J];西北大學學報(自然科學版);1997年06期
【相似文獻】
相關(guān)期刊論文 前10條
1 駱翔宇;譚征;蘇開樂;吳立軍;;一種基于認知模型檢測的Web服務組合驗證方法[J];計算機學報;2011年06期
2 黃亮;姚放吾;金仙力;;Apache ODE環(huán)境下Web服務組合技術(shù)的研究[J];計算機技術(shù)與發(fā)展;2011年07期
3 劉衛(wèi)紅;周義蓮;;強化學習方法在Web服務組合中的應用比較研究[J];計算機應用與軟件;2011年07期
4 蔡虹;胡云;李存華;;一種基于A*算法的Web Services動態(tài)組合策略[J];微電子學與計算機;2011年09期
5 王志堅;李雯睿;楊種學;張鵬程;;基于uMSD的Web服務組合驗證方法研究[J];計算機科學;2011年09期
6 夏妍;;基于擴展顏色Petri網(wǎng)的Web服務組合建模及應用[J];電腦知識與技術(shù);2011年21期
7 房丙午;季紅梅;汪永濤;;服務請求驅(qū)動的語義Web服務組合方法[J];計算機系統(tǒng)應用;2011年08期
8 齊連永;竇萬春;;跨組織協(xié)同中基于局部服務質(zhì)量優(yōu)化的Web服務組合方法[J];計算機集成制造系統(tǒng);2011年08期
9 ;[J];;年期
10 ;[J];;年期
相關(guān)會議論文 前6條
1 劉波;吳家鑄;;Web服務組合分布式協(xié)調(diào)模型研究[A];2006年全國開放式分布與并行計算學術(shù)會議論文集（二）[C];2006年
2 張功源;李必信;邱棟;吉順慧;;一種基于并發(fā)的BPEL控制流模型的分析及驗證[A];第六屆中國測試學術(shù)會議論文集[C];2010年
3 何濤;繆淮扣;錢忠勝;;基于π-演算的web服務流的分析與建模(英文)[A];全國語域web與本體能研討會論文集[C];2006年
4 仲晶;黃志球;;面向服務質(zhì)量的Web服務選擇方法：研究綜述[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學術(shù)會議論文集（下）[C];2008年
5 鄭棟;張育平;;基于語義的動態(tài)Web服務組合系統(tǒng)架構(gòu)[A];2008通信理論與技術(shù)新發(fā)展——第十三屆全國青年通信學術(shù)會議論文集（下）[C];2008年
6 陳步橋;徐濤;;一種基于BPEL加入語義的動態(tài)服務組合框架[A];中國通信學會第六屆學術(shù)年會論文集（上）[C];2009年
相關(guān)博士學位論文 前10條
1 馮名正;Web服務組合關(guān)鍵技術(shù)研究[D];東南大學;2006年
2 何豐;語義Web服務組合若干關(guān)鍵技術(shù)研究[D];東華大學;2008年
3 于守健;基于Web服務組合的業(yè)務流程集成關(guān)鍵技術(shù)研究[D];東華大學;2005年
4 辜希武;Web服務組合形式化模型研究[D];華中科技大學;2007年
5 康輝;基于PI-演算的CPN在移動通信服務建模的研究與應用[D];吉林大學;2008年
6 門鵬;基于Petri網(wǎng)的Web服務組合相關(guān)技術(shù)研究[D];西安電子科技大學;2009年
7 劉兵;基于Web服務組合的網(wǎng)格工作流研究[D];中國科學技術(shù)大學;2007年
8 成睿星;基于范例推理技術(shù)的服務組合研究[D];北京郵電大學;2008年
9 吳江霞;Web組合服務QoS屬性預測方法研究[D];北京郵電大學;2008年
10 童紅霞;基于Agent的Web服務組合技術(shù)研究[D];上海交通大學;2009年
相關(guān)碩士學位論文 前10條
1 錢忠山;基于BPEL的醫(yī)療信息交換系統(tǒng)[D];哈爾濱工業(yè)大學;2011年
2 黃宇;基于BPEL的服務組合動態(tài)優(yōu)化機制研究[D];重慶大學;2012年
3 李晶睿;數(shù)據(jù)可視化的Web服務及其組合的研究與開發(fā)[D];武漢理工大學;2007年
4 陳旭暉;基于規(guī)劃的語義Web服務組合技術(shù)研究[D];福州大學;2006年
5 楊秀麗;基于有色Petri網(wǎng)的Web服務組合[D];吉林大學;2007年
6 賈志淳;基于Pi演算的Web服務組合兼容性驗證方法研究[D];大連海事大學;2008年
7 宋英杰;基于OCL的Web服務組合形式化約束研究[D];大連海事大學;2009年
8 周如民;BPEL引擎及動態(tài)恢復機制的研究與實現(xiàn)[D];西安電子科技大學;2009年
9 孫長俊;Web服務組合關(guān)系的研究與實現(xiàn)[D];河海大學;2007年
10 王赫;基于著色賦時Petri網(wǎng)的Web服務組合流程建模研究[D];大連海事大學;2008年
，本文編號：2452927
本文鏈接：http://sikaile.net/guanlilunwen/ydhl/2452927.html
