發(fā)布時(shí)間：2018-05-15 18:33

  本文選題：BPEL過(guò)程 + 數(shù)據(jù)流　； 參考：《計(jì)算機(jī)工程與設(shè)計(jì)》2017年12期

【摘要】：針對(duì)現(xiàn)有檢測(cè)數(shù)據(jù)流反模式錯(cuò)誤方法常采用枚舉策略,存在路徑爆炸和異常誤報(bào)等問(wèn)題,提出一種基于可滿(mǎn)足性模理論(SMT)約束求解器的符號(hào)編碼去檢測(cè)所有可行路徑中的數(shù)據(jù)流反模式錯(cuò)誤的方法。進(jìn)行符號(hào)編碼,包括最常見(jiàn)的3種數(shù)據(jù)流反模式,根據(jù)SMT約束求解器進(jìn)行數(shù)據(jù)流反模式錯(cuò)誤的識(shí)別檢測(cè)。使用工業(yè)界中真實(shí)的BPEL過(guò)程作為數(shù)據(jù)集進(jìn)行實(shí)驗(yàn),實(shí)驗(yàn)結(jié)果表明,所提方法能夠高效無(wú)誤地檢測(cè)出BPEL過(guò)程中的數(shù)據(jù)流異常錯(cuò)誤。
[Abstract]:Enumeration strategy is often used in existing anti-pattern error detection methods for data flow, and there are some problems such as path explosion and abnormal false positives. This paper presents a symbolic coding method based on satisfiability modulus theory (SMT) constraint solver to detect anti-pattern errors in data streams in all feasible paths. Symbolic coding is carried out, including the three most common data stream antipatterns, and the data stream anti-pattern error detection is performed according to the SMT constraint solver. The real BPEL process in industry is used as the data set. The experimental results show that the proposed method can detect the abnormal data flow errors in the BPEL process efficiently and unmistakably.
【作者單位】： 南京理工大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(61202003;61572171)
【分類(lèi)號(hào)】：TP311.1

【相似文獻(xiàn)】

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

1 盛津芳;胡培培;王斌;;反模式檢測(cè)研究綜述[J];計(jì)算機(jī)應(yīng)用研究;2013年12期

2 蘭靈;黃罡;王瑋琥;梅宏;;基于反模式的中間件應(yīng)用系統(tǒng)性能優(yōu)化[J];軟件學(xué)報(bào);2008年09期

3 潘麗;馬如悅;劉士軍;武蕾;;基于BPEL的網(wǎng)格工作流系統(tǒng)[J];華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年S2期

4 魏子鵬;BPEL商業(yè)流程建模[J];科技情報(bào)開(kāi)發(fā)與經(jīng)濟(jì);2004年03期

5 黃小慶;周宇;吳含前;夏安邦;;基于BPEL的電廠競(jìng)價(jià)系統(tǒng)設(shè)計(jì)[J];電力系統(tǒng)自動(dòng)化;2009年04期

6 鄧式陽(yáng);;SOA服務(wù)設(shè)計(jì)原理研究[J];濰坊學(xué)院學(xué)報(bào);2008年04期

7 韓兆剛;鞏朋;張莉;呂方興;;過(guò)程模型中控制流反模式的定義和檢測(cè)方法[J];中國(guó)石油大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年03期

8 冉崇善;張軾坤;高云鵬;;基于反模式的J2EE中間件重構(gòu)模型[J];計(jì)算機(jī)工程與設(shè)計(jì);2010年08期

9 張軾坤;冉崇善;;基于反模式的J2EE中間件優(yōu)化模型[J];計(jì)算機(jī)工程;2010年10期

10 劉士喜;胡曉靜;;BPEL到PNML文件轉(zhuǎn)換框架的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;2013年05期

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

1 何榮芳;SMT封裝電路板缺陷三維在線(xiàn)檢測(cè)技術(shù)[D];天津大學(xué);2014年

2 尹哲;基于BPEL的移動(dòng)支付處理系統(tǒng)構(gòu)建[D];復(fù)旦大學(xué);2010年

3 吉小偉;供應(yīng)鏈全球化背景下SMT制造企業(yè)物料信息追溯系統(tǒng)的研究[D];天津大學(xué);2012年

4 李新龍;軟件性能反模式檢測(cè)系統(tǒng)的研究與實(shí)現(xiàn)[D];中南大學(xué);2014年

5 劉鐵忠;SMT設(shè)備動(dòng)態(tài)診斷維護(hù)策略的研究[D];上海交通大學(xué);2009年

6 胡培培;基于組件的運(yùn)行時(shí)系統(tǒng)的性能反模式檢測(cè)研究[D];中南大學(xué);2013年

7 郭蓉蓉;應(yīng)用于移動(dòng)支付的BPEL編譯器的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

8 歐黎源;J2EE軟件開(kāi)發(fā)反模式的研究與應(yīng)用[D];電子科技大學(xué);2009年

9 曾志勇;基于局部搜索算法的#SMT問(wèn)題求解[D];東北師范大學(xué);2014年

，

本文編號(hào)：1893441