發(fā)布時間：2018-02-22 09:23

  本文關(guān)鍵詞： Web服務(wù)組合 擴展控制流圖(XCFG) 數(shù)據(jù)流屬性 驗證　出處：《電子學(xué)報》2013年07期 　論文類型：期刊論文

【摘要】：BPEL組合服務(wù)實現(xiàn)了Web服務(wù)的復(fù)用和增值,但其復(fù)雜性帶來了一定的挑戰(zhàn).例如,BPEL流程中正確的數(shù)據(jù)流對確保服務(wù)組合的正確性是十分重要的,然而現(xiàn)有的研究很少關(guān)注這類問題.本文提出一種基于擴展控制流圖(XCFG)的BPEL流程數(shù)據(jù)流屬性驗證方法,利用XCFG對BPEL流程進行形式建模,設(shè)計相應(yīng)的算法來分析和驗證典型的數(shù)據(jù)流屬性,如定義-使用一致性,無死鎖和可達性.理論分析和實驗均表明該方法是有效的.
[Abstract]:BPEL composition services implement reuse and value addition of Web services, but their complexity brings some challenges. For example, correct data flow in BPEL process is very important to ensure the correctness of service composition. However, little attention has been paid to this kind of problem. In this paper, an attribute verification method for BPEL process data flow based on extended control flow graph (XCFG) is proposed, and the formal modeling of BPEL process is carried out by using XCFG. Corresponding algorithms are designed to analyze and verify typical data flow attributes, such as definition-use consistency, deadlock-free and reachability. Theoretical analysis and experiments show that this method is effective.
【作者單位】： 東南大學(xué)計算機科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金(No.60973149) 博士點基金(No.20100092110022) 江蘇省高校科研成果產(chǎn)業(yè)化推進項目(No.JHB2011-3)
【分類號】：TP393.09

【參考文獻】

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

1 朱敏;李必信;陳喬喬;吉順慧;李加凱;;基于微分動態(tài)邏輯的CPS建模與屬性驗證[J];電子學(xué)報;2012年06期

【共引文獻】

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

1 雷瑤;信息物理融合系統(tǒng)的形式化建模與分析[D];廣東工業(yè)大學(xué);2013年

【二級參考文獻】

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

1 賴明志,尤晉元;從UML狀態(tài)圖到PVS規(guī)范的自動轉(zhuǎn)換、驗證[J];電子學(xué)報;2002年S1期

2 周穎 ,鄭國梁 ,李宣東;面向模型檢驗的UML狀態(tài)機語義[J];電子學(xué)報;2003年S1期

3 戰(zhàn)德臣;馮錦丹;聶蘭順;徐曉飛;;ICEMDA:一種可互操作可配置可執(zhí)行的模型驅(qū)動體系結(jié)構(gòu)[J];電子學(xué)報;2008年S1期

4 劉亞萍;黃志球;祝義;;基于元建模的實時系統(tǒng)模型轉(zhuǎn)換方法研究[J];小型微型計算機系統(tǒng);2010年11期

【相似文獻】

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

1 程永上;王志堅;;語義Web服務(wù)組合的形式化描述與驗證研究[J];計算機科學(xué);2008年04期

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

3 陳紅;;基于參考網(wǎng)的Web服務(wù)組合模型[J];計算機應(yīng)用;2006年12期

4 李景霞;侯紫峰;趙慧娟;;Web服務(wù)組合時間限制一致性研究[J];計算機應(yīng)用研究;2006年03期

5 鐘讀杭;齊治昌;;利用軟件容錯技術(shù)提高Web服務(wù)組合的可靠性[J];計算機工程與科學(xué);2008年03期

6 鐘讀杭;齊治昌;徐錫山;;基于冗余的Web服務(wù)組合可靠性優(yōu)化方法[J];計算機工程;2008年04期

7 戚玉松;錢柱中;是湘全;;基于Agent的Web服務(wù)組合研究[J];南京理工大學(xué)學(xué)報(自然科學(xué)版);2006年03期

8 李景霞;侯紫峰;;基于顏色Petri網(wǎng)的Web服務(wù)組合建模及應(yīng)用[J];計算機應(yīng)用研究;2006年09期

9 莫振華;蔡鴻明;姜麗紅;;基于遺傳算法的多QoS約束服務(wù)選擇[J];計算機應(yīng)用與軟件;2009年03期

10 吳江霞;楊放春;;支持事務(wù)機制的Web服務(wù)組合QoS屬性預(yù)測方法[J];電子與信息學(xué)報;2008年03期

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

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

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

3 袁陽;閆鶯;岳昆;王曉玲;周傲英;;質(zhì)量驅(qū)動的頻繁組合服務(wù)選擇[A];第二十一屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2004年

4 李飛;張斌;葛亮;孫若男;;面向組合服務(wù)自適應(yīng)執(zhí)行的環(huán)境感知引擎[A];CCF NCSC 2011——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

5 劉琰;羅軍勇;王清賢;;Internet實體的地理位置定位[A];2005中國控制與決策學(xué)術(shù)年會論文集（下）[C];2005年

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

7 蔣俊彥;李先賢;李建欣;吳茜;;SOArTester4RT:一種面向組合服務(wù)演化的高效回歸測試工具[A];2010年全國開放式分布與并行計算機學(xué)術(shù)會議論文集[C];2010年

8 孫靜;劉正捷;奚小玲;王慧;;幫助盲人理解網(wǎng)頁信息的一種網(wǎng)頁結(jié)構(gòu)劃分方法[A];第一屆建立和諧人機環(huán)境聯(lián)合學(xué)術(shù)會議（HHME2005）論文集[C];2005年

9 李磊;譚慶平;;Web服務(wù)兼容性及其驗證算法[A];中國通信學(xué)會第六屆學(xué)術(shù)年會論文集（上）[C];2009年

10 張文濤;彭泳;陳俊亮;;會話類E-Service的接口兼容分析[A];2006年全國通信軟件學(xué)術(shù)會議論文集[C];2006年

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

1 ;重新認(rèn)識MPLS VPN(下)[N];網(wǎng)絡(luò)世界;2008年

2 ;放心WLAN解讀802.11i[N];中國計算機報;2004年

3 ;想說i你不容易[N];網(wǎng)絡(luò)世界;2004年

4 李巍;構(gòu)建下一代軟件架構(gòu)[N];中國計算機報;2004年

5 Pejman Roshan;用802.1X實現(xiàn)802.11無線技術(shù)加密[N];計算機世界;2001年

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

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

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

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

4 張龍昌;面向復(fù)雜上下文的組合服務(wù)決策方法研究[D];北京郵電大學(xué);2011年

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

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

7 高春鳴;服務(wù)組合的形式化檢驗與QoS感知的服務(wù)組合方法研究[D];國防科學(xué)技術(shù)大學(xué);2007年

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

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

10 溫嘉佳;Web服務(wù)組合及其相關(guān)技術(shù)的研究[D];北京郵電大學(xué);2007年

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

1 趙艷;基于時序Petri網(wǎng)的Web服務(wù)組合建模與質(zhì)量分析[D];安徽理工大學(xué);2009年

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

3 鄒艷妮;基于價格時間Petri網(wǎng)的Web服務(wù)組合建模與分析[D];安徽理工大學(xué);2008年

4 馬臨萍;基于WS-BPEL的web服務(wù)組合技術(shù)研究[D];西北大學(xué);2008年

5 羅清;基于Web服務(wù)的工作流事務(wù)研究[D];中南大學(xué);2007年

6 胡揚波;基于多目標(biāo)優(yōu)化的Web服務(wù)組合研究[D];中南大學(xué);2009年

7 浦潔;基于Pi演算的Web服務(wù)組合模型與WSDL轉(zhuǎn)換[D];吉林大學(xué);2007年

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

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

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

，

本文編號：1524070