本文選題：Web服務(wù) + Petri網(wǎng)��； 參考：《計算機集成制造系統(tǒng)》2013年06期

【摘要】：為解決服務(wù)組合中的Web服務(wù)可替換性問題,在工作流網(wǎng)、開放網(wǎng)等Petri網(wǎng)模型的基礎(chǔ)上,提出一種適合面向服務(wù)系統(tǒng)的Petri網(wǎng)模型———WS_Net。該模型包含了Web服務(wù)的兩部分內(nèi)容:內(nèi)部流程和外部接口。WS_Net可以準確描述順序、循環(huán)、并發(fā)、調(diào)用、選擇五種常見的服務(wù)組合方式。在Petri網(wǎng)互模擬等價的基礎(chǔ)上定義了WS_Net內(nèi)網(wǎng)的關(guān)于接口變遷的互模擬等價關(guān)系,關(guān)于接口變遷互模擬等價的WS_Net可以實現(xiàn)上下文無關(guān)的相互替換并保證替換前后組合服務(wù)的行為是一致的。在Petri網(wǎng)化簡技術(shù)的基礎(chǔ)上提出了WS_Net的化簡規(guī)則,證明了這些化簡規(guī)則能夠保持WS_Net化簡前后的接口互模擬等價特性。在實際應(yīng)用中能夠通過化簡的方法降低Web服務(wù)可替換性分析的復(fù)雜度。
[Abstract]:In order to solve the problem of Web service substitutability in service composition, based on Petri net models such as workflow net and open net, a Petri net model for service-oriented system (-WSNET) is proposed. The model includes two parts of Web services: internal flow and external interface. WSNet can accurately describe the order, loop, concurrency, invocation, and select five common service composition methods. On the basis of petri net mutual simulation equivalence, the mutual simulation equivalence relation about interface transition of WSSP net is defined. On the interface transition mutual simulation equivalent WSStat net can implement context-independent substitution and ensure that the behavior of the composite services before and after the replacement is consistent. Based on the technology of Petri net simplification, the simplification rules of WSS net are put forward, and it is proved that these simplification rules can maintain the equivalent characteristics of interface simulation before and after the reduction of WSSP net. In practical application, the complexity of Web service substitutability analysis can be reduced by means of simplification.
【作者單位】： 北方工業(yè)大學(xué)信息工程學(xué)院;
【基金】：國家自然科學(xué)基金資助項目(61070030,61111130121)~~
【分類號】：TP393.09

【參考文獻】

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

1 廖軍;譚浩;劉錦德;;基于Pi-演算的Web服務(wù)可替換性驗證[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2005年S1期

2 史玉良;王海洋;張亮;施伯樂;;Web服務(wù)合成的相容性與替換性分析[J];計算機研究與發(fā)展;2007年11期

3 陳丁劍;吳健;馬滿福;胡正國;;基于Petri網(wǎng)的Web服務(wù)組合建模[J];計算機科學(xué);2006年05期

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

5 王明微;張樹生;周競濤;;面向服務(wù)型制造的協(xié)同業(yè)務(wù)流程構(gòu)建框架[J];計算機集成制造系統(tǒng);2010年11期

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

7 劉方方;史玉良;張亮;施伯樂;;基于進程代數(shù)的Web服務(wù)合成的替換分析[J];計算機學(xué)報;2007年11期

8 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計算機學(xué)報;2009年12期

9 陳振邦;王戟;董威;齊治昌;;面向服務(wù)軟件體系結(jié)構(gòu)的接口模型[J];軟件學(xué)報;2006年06期

【共引文獻】

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

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

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

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

4 吳彥;高洪皓;;網(wǎng)絡(luò)軟件動態(tài)演化的元胞自動機模型研究[J];電腦知識與技術(shù);2010年05期

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

6 馬勝男;孫翊;;現(xiàn)代服務(wù)業(yè)中的共性標準化問題(下)[J];信息技術(shù)與標準化;2010年06期

7 周霞;曹寶香;;OOPN下基于優(yōu)先級算法的Web服務(wù)組合[J];電子技術(shù);2011年04期

8 王宏達;周良;;基于有色Petri網(wǎng)的模型驅(qū)動SOA服務(wù)模型組合[J];電子科技;2012年02期

9 朱俊;郭長國;吳泉源;;基于CPN的服務(wù)交互行為關(guān)鍵屬性的運行時確保機制[J];電子學(xué)報;2011年05期

10 張廣泉;戎玫;王f;;時間感知Web服務(wù)交互行為建模與失配檢測方法研究[J];電子學(xué)報;2011年11期

相關(guān)會議論文 前3條

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

2 吳寧生;董光波;曾慶虎;高效;;基于面向服務(wù)和組件技術(shù)的雷達組網(wǎng)系統(tǒng)架構(gòu)方法[A];2007年中國智能自動化會議論文集[C];2007年

3 董光波;吳寧生;高效;曾慶虎;楊進;溫京;;一種組件式多線程網(wǎng)絡(luò)應(yīng)用架構(gòu)的設(shè)計與實現(xiàn)[A];2009年中國智能自動化會議論文集（第六分冊）[中南大學(xué)學(xué)報（增刊）][C];2009年

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

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

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

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

4 吳新星;基于語言的軟件可信性度量理論及其應(yīng)用[D];華東師范大學(xué);2011年

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

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

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

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

9 劉林源;Web服務(wù)組合隱私分析與驗證研究[D];南京航空航天大學(xué);2011年

10 劉炳春;服務(wù)型制造網(wǎng)絡(luò)協(xié)調(diào)機制研究[D];天津大學(xué);2012年

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

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

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

3 張祥濤;基于語義Web服務(wù)的多層次匹配模型的研究與實現(xiàn)[D];華南理工大學(xué);2010年

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

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

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

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

8 高超;基于Pi-演算的第三代移動通信服務(wù)的形式化建模與研究[D];吉林大學(xué);2011年

9 費廷偉;基于工作流的有狀態(tài)服務(wù)研究與實現(xiàn)[D];吉林大學(xué);2011年

10 丁衛(wèi)東;基于QoS的Web服務(wù)組合優(yōu)化選取問題研究[D];曲阜師范大學(xué);2011年

【二級參考文獻】

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

1 殷昱煜;李瑩;鄧水光;尹建偉;;Web服務(wù)行為一致性與相容性判定[J];電子學(xué)報;2009年03期

2 韓燕波;王洪翠;王建武;閆淑英;張程;;一種支持最終用戶探索式組合服務(wù)的方法[J];計算機研究與發(fā)展;2006年11期

3 史玉良;黃光安;葉煒;張亮;施伯樂;;基于任務(wù)依賴信息的Web服務(wù)自動合成[J];計算機研究與發(fā)展;2006年12期

4 邱莉榕;史忠植;林芬;常亮;;基于主體的語義Web服務(wù)自動組合研究[J];計算機研究與發(fā)展;2007年04期

5 黃園媛;高春鳴;;基于活動網(wǎng)絡(luò)圖的工作流過程定義工具的研究[J];計算機工程與應(yīng)用;2006年02期

6 孫健,陶曉峰;基于Petri網(wǎng)的Web服務(wù)BPEL4WS建模與分析[J];計算機工程;2004年22期

7 簡斌;閆光榮;朱心雄;;基于SOA的中小制造企業(yè)業(yè)務(wù)流程的集成[J];計算機輔助設(shè)計與圖形學(xué)學(xué)報;2007年01期

8 李喜彤;范玉順;;Web服務(wù)過程建模及其邏輯正確性驗證[J];計算機集成制造系統(tǒng);2008年04期

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

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

【相似文獻】

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

1 沈桂芳;;基于Petri網(wǎng)的Web服務(wù)組合流程的驗證[J];科技信息;2009年08期

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

3 雷麗暉;段振華;;語義標記Petri網(wǎng)的組合Web服務(wù)建模與驗證(英文)[J];計算機科學(xué)與探索;2009年02期

4 毛偉偉;于素萍;;基于Petri網(wǎng)的Web服務(wù)動態(tài)組合[J];計算機技術(shù)與發(fā)展;2009年11期

5 于素萍;王冬;左方;;基于Petri網(wǎng)的Web服務(wù)動態(tài)組合[J];河南大學(xué)學(xué)報(自然科學(xué)版);2008年02期

6 方賢文;許志才;趙艷;;基于Petri網(wǎng)和Web的電子商務(wù)安全性分析[J];計算機工程與設(shè)計;2007年22期

7 方娟;王志杰;;SOA架構(gòu)下基于Petri網(wǎng)的Web服務(wù)協(xié)商模型[J];微電子學(xué)與計算機;2009年08期

8 陳明;袁勇福;;基于多元π演算的Web服務(wù)原子事務(wù)協(xié)議研究[J];計算機應(yīng)用與軟件;2009年01期

9 李勇軍;劉敏娟;;基于Pi-演算的服務(wù)組合正確性驗證[J];軟件導(dǎo)刊;2009年07期

10 袁志祥,葉紅;電子商務(wù)協(xié)議的建模方法與分析[J];安徽工業(yè)大學(xué)學(xué)報(自然科學(xué)版);2004年03期

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

1 方娟;王志杰;;SOA架構(gòu)下基于Petri網(wǎng)的Web服務(wù)協(xié)商模型[A];2009年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2009年

2 薛靜鋒;曹元大;;Petri網(wǎng)在入侵檢測中的應(yīng)用[A];第六屆全國計算機應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

3 尤軍;;談氣象Web服務(wù)的網(wǎng)絡(luò)安全問題[A];網(wǎng)絡(luò)安全技術(shù)的開發(fā)應(yīng)用學(xué)術(shù)會議論文集[C];2002年

4 蔡子龍;俞集輝;;基于Web服務(wù)的遠程報表打印系統(tǒng)的研究[A];電工理論與新技術(shù)2004年學(xué)術(shù)研討會論文集[C];2004年

5 劉正濤;毛宇光;應(yīng)毅;;基于Web服務(wù)的分布式Web應(yīng)用框架研究[A];第一屆全國Web信息系統(tǒng)及其應(yīng)用會議（WISA2004）論文集[C];2004年

6 任濤;李玉忱;劉乃麗;;面向動態(tài)環(huán)境的Web服務(wù)合成系統(tǒng)[A];第一屆全國Web信息系統(tǒng)及其應(yīng)用會議（WISA2004）論文集[C];2004年

7 張偉燕;席傳裕;;J2EE中異步Web服務(wù)的研究與應(yīng)用[A];第一屆全國Web信息系統(tǒng)及其應(yīng)用會議（WISA2004）論文集[C];2004年

8 李濱;劉瑩;;UDDI注冊中心綜述[A];中國企業(yè)運籌學(xué)[C];2009年

9 劉青;連祥鑒;;基于上下文的Web服務(wù)動態(tài)組合[A];2008年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2008年

10 曾誠;李兵;何克清;;KMP算法在Web服務(wù)語義標注中的應(yīng)用[A];2010年全國開放式分布與并行計算機學(xué)術(shù)會議論文集[C];2010年

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

1 樸華;SilverStream延伸Web服務(wù)[N];中國計算機報;2002年

2 樂天;SOA構(gòu)建要注意什么？[N];計算機世界;2004年

3 ;Web服務(wù)實現(xiàn)（連載7）[N];上�？萍紙�;2002年

4 邊一;五大預(yù)測Web服務(wù)中的安全機制[N];網(wǎng)絡(luò)世界;2003年

5 李浩;Web服務(wù)的陽光之旅[N];網(wǎng)絡(luò)世界;2004年

6 本報記者 薛斐;Web服務(wù)不神秘！[N];計算機世界;2002年

7 子華;貼有Web服務(wù)標簽的SilverStream[N];計算機世界;2002年

8 ;深圳移動實現(xiàn)WEB服務(wù)[N];網(wǎng)絡(luò)世界;2002年

9 ;Web服務(wù)世界現(xiàn)在還好嗎？[N];網(wǎng)絡(luò)世界;2003年

10 ;Web服務(wù)推動BI演進[N];網(wǎng)絡(luò)世界;2003年

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

1 張昭理;基于Petri網(wǎng)的安全策略分析與驗證方法研究[D];華中科技大學(xué);2007年

2 任志宏;Web服務(wù)復(fù)合的若干關(guān)健問題研究[D];中國科學(xué)院研究生院（軟件研究所）;2004年

3 陳靖;帶實時的傳值與移動系統(tǒng)研究[D];中國科學(xué)院研究生院（軟件研究所）;2003年

4 吳健;基于Web服務(wù)的網(wǎng)絡(luò)化產(chǎn)品配置技術(shù)研究[D];浙江大學(xué);2004年

5 劉安豐;基于QoS的分布式Web服務(wù)結(jié)構(gòu)模型及其關(guān)鍵技術(shù)研究[D];中南大學(xué);2005年

6 史玉良;Web服務(wù)合成的若干關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2006年

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

8 龔曉慶;基于Web服務(wù)的分布式工作流管理系統(tǒng)研究[D];西北大學(xué);2004年

9 湯景凡;動態(tài)Web服務(wù)組合的關(guān)鍵技術(shù)研究[D];浙江大學(xué);2005年

10 林松;電子支付安全體系結(jié)構(gòu)的研究與實現(xiàn)[D];四川大學(xué);2005年

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

1 程俊;基于Petri網(wǎng)的Web服務(wù)集成工作流的研究[D];合肥工業(yè)大學(xué);2006年

2 瞿煒杰;錢塘應(yīng)用服務(wù)器服務(wù)流平臺的設(shè)計與實現(xiàn)[D];浙江大學(xué);2006年

3 劉明升;Web服務(wù)動態(tài)組合的關(guān)鍵技術(shù)研究[D];大連海事大學(xué);2008年

4 祁方民;基于分層Petri網(wǎng)的Web服務(wù)組合建模與驗證[D];西北大學(xué);2008年

5 于素萍;基于Petri網(wǎng)的Web服務(wù)組合建模[D];河南大學(xué);2008年

6 廖俊軍;基于工作流的Web服務(wù)組合技術(shù)[D];南京理工大學(xué);2004年

7 王繼梅;基于跨組織工作流的Web服務(wù)組合技術(shù)的研究[D];浙江大學(xué);2003年

8 王文娟;基于UDDI的Web服務(wù)信息發(fā)布系統(tǒng)[D];西北工業(yè)大學(xué);2003年

9 陳越;基于Web服務(wù)的高校教務(wù)管理系統(tǒng)的設(shè)計和實現(xiàn)[D];蘇州大學(xué);2003年

10 徐遠芳;消息中間件在Web服務(wù)中的應(yīng)用及面向Web服務(wù)的消息中間件設(shè)計[D];廣西大學(xué);2004年

，

本文編號：2055128