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

【摘要】：BPEL組合服務(wù)實(shí)現(xiàn)了Web服務(wù)的復(fù)用和增值,但其復(fù)雜性帶來(lái)了一定的挑戰(zhàn).例如,BPEL流程中正確的數(shù)據(jù)流對(duì)確保服務(wù)組合的正確性是十分重要的,然而現(xiàn)有的研究很少關(guān)注這類(lèi)問(wèn)題.本文提出一種基于擴(kuò)展控制流圖(XCFG)的BPEL流程數(shù)據(jù)流屬性驗(yàn)證方法,利用XCFG對(duì)BPEL流程進(jìn)行形式建模,設(shè)計(jì)相應(yīng)的算法來(lái)分析和驗(yàn)證典型的數(shù)據(jù)流屬性,如定義-使用一致性,無(wú)死鎖和可達(dá)性.理論分析和實(shí)驗(yàn)均表明該方法是有效的.
[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é)計(jì)算機(jī)科學(xué)與工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金(No.60973149) 博士點(diǎn)基金(No.20100092110022) 江蘇省高�？蒲谐晒a(chǎn)業(yè)化推進(jìn)項(xiàng)目(No.JHB2011-3)
【分類(lèi)號(hào)】：TP393.09

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 ;放心WLAN解讀802.11i[N];中國(guó)計(jì)算機(jī)報(bào);2004年

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

4 李巍;構(gòu)建下一代軟件架構(gòu)[N];中國(guó)計(jì)算機(jī)報(bào);2004年

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

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

1 門(mén)鵬;基于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在移動(dòng)通信服務(wù)建模的研究與應(yīng)用[D];吉林大學(xué);2008年

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

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

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

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

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

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

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

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

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

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

3 鄒艷妮;基于價(jià)格時(shí)間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 胡揚(yáng)波;基于多目標(biāo)優(yōu)化的Web服務(wù)組合研究[D];中南大學(xué);2009年

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

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

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

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

，

本文編號(hào)：1524070