本文關(guān)鍵詞：BPEL過程一致性度量　出處：《哈爾濱工程大學(xué)學(xué)報(bào)》2015年06期 　論文類型：期刊論文

  更多相關(guān)文章： BPEL過程 活動約束圖 事件日志 一致性度量

【摘要】：服務(wù)組合和云計(jì)算作為面向服務(wù)體系結(jié)構(gòu)下資源集成和應(yīng)用互聯(lián)的有效手段,使得描述Web服務(wù)的BPEL過程產(chǎn)生了眾多變種。針對變種整合和變種之間差異檢測的問題,研究BPEL過程一致性就很有意義。然而,現(xiàn)有的方法要么僅提供一個"是/否"的定性回答,要么是從控制流層面數(shù)量化地度量一致性,導(dǎo)致度量結(jié)果不符合用戶的預(yù)期評判。因此,采用活動間的行為約束作為度量基礎(chǔ),以事件日志中活動的發(fā)生概率為權(quán)重,一種數(shù)值化地度量BPEL過程行為一致性的方法被提出,并且實(shí)現(xiàn)了計(jì)算一致性的軟件工具。通過對6組BPEL過程進(jìn)行分析,驗(yàn)證了該方法的可行性和有效性,且度量結(jié)果符合用戶的預(yù)期。
【作者單位】： 解放軍理工大學(xué)國防工程學(xué)院;南京理工大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金資助項(xiàng)目(61202003) 國家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃資助項(xiàng)目(2015CB352202) 武漢大學(xué)軟件工程國家重點(diǎn)實(shí)驗(yàn)室開放基金資助項(xiàng)目(SKLSE2012-09-05)
【分類號】：TP393.09
【正文快照】： BPEL語言[1]作為一種流行的描述Web服務(wù)的業(yè)界標(biāo)準(zhǔn),受到了越來越多的業(yè)務(wù)人員的重視。隨著云計(jì)算與服務(wù)計(jì)算時代的到來用戶需求的不斷變化和公司內(nèi)部的適時調(diào)整,系統(tǒng)原有的BPEL過程可能演化出多個變種。為確保業(yè)務(wù)人員有效地檢測變種間的差異以及整合變種[2],研究BPEL過程的一

【相似文獻(xiàn)】

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

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

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

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

4 華進(jìn);錢雪忠;;基于Web services和BPEL實(shí)現(xiàn)企業(yè)應(yīng)用集成[J];微計(jì)算機(jī)信息;2006年33期

5 上超望;劉清堂;趙剛;童名文;;基于CPN的BPEL活動協(xié)同授權(quán)一致性檢測機(jī)制研究[J];計(jì)算機(jī)科學(xué);2014年07期

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

7 孫];葉世陽;魏峻;;BPEL流程監(jiān)視的可視化實(shí)現(xiàn)(英文)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2009年06期

8 竇浩;武艷文;段升強(qiáng);;基于Petri Net的BPEL流程建模與分析驗(yàn)證[J];西安建筑科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年02期

9 張易;郭翔;謝宇飛;;AOP在BPEL服務(wù)組合中的應(yīng)用的研究[J];科技創(chuàng)新導(dǎo)報(bào);2010年12期

10 ;BPEL實(shí)現(xiàn)業(yè)務(wù)流程自動化——甲骨文發(fā)布SOA和集成平臺[J];每周電腦報(bào);2004年25期

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

1 宮丙寅;基于BPEL的多學(xué)科優(yōu)化流程建模與調(diào)度技術(shù)研究[D];南京理工大學(xué);2012年

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

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

4 周如民;BPEL引擎及動態(tài)恢復(fù)機(jī)制的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2009年

5 楊光超;BPEL引擎中流程部署技術(shù)研究[D];西安電子科技大學(xué);2009年

6 吳彥;基于BPEL的服務(wù)構(gòu)件組合執(zhí)行引擎研究與實(shí)現(xiàn)[D];大連海事大學(xué);2011年

7 佟偉;基于SCA的輕量級BPEL引擎的設(shè)計(jì)與實(shí)現(xiàn)[D];北京工業(yè)大學(xué);2008年

8 王金慶;BPEL圖形化服務(wù)組合工具的設(shè)計(jì)與實(shí)現(xiàn)[D];天津大學(xué);2009年

9 張潔鷗;基于BPEL的事務(wù)流執(zhí)行引擎架構(gòu)的研究[D];同濟(jì)大學(xué);2006年

10 葛雷;基于BPEL的SOA架構(gòu)應(yīng)用研究[D];哈爾濱工程大學(xué);2009年

，

本文編號：1324686