本文關(guān)鍵詞：一種時序約束下的Web服務(wù)組合兼容性的定量驗證方法

  更多相關(guān)文章： 服務(wù)組合 時序約束 定量時序兼容性 正態(tài)分布

【摘要】：為了增強(qiáng)服務(wù)組合的Qo S特性,迫切需要在流程設(shè)計層面驗證時序約束兼容性。針對工作流中常見的純順序、并發(fā)與選擇結(jié)構(gòu),估算了其概率分布,進(jìn)而提出了一種基于概率的、定量檢驗服務(wù)組合的時序兼容性的方法。通過案例分析與性能測試驗證了其有效性。
【作者單位】： 桂林理工大學(xué)信息科學(xué)與工程學(xué)院;
【關(guān)鍵詞】： 服務(wù)組合 時序約束 定量時序兼容性 正態(tài)分布
【基金】：國家自然科學(xué)基金項目(51365010) 廣西自然科學(xué)基金項目(2014GXNSFBA118269) 廣西教育廳科研項目(201106LX251)
【分類號】：TP393.09
【正文快照】： 作為一種基于現(xiàn)有互聯(lián)網(wǎng)協(xié)議與公開標(biāo)準(zhǔn)的自包含、自描述、模塊化的應(yīng)用,Web服務(wù)成為設(shè)計復(fù)雜商務(wù)應(yīng)用的主要技術(shù)之一,而服務(wù)組合是研究服務(wù)技術(shù)的關(guān)鍵之一。為了增強(qiáng)服務(wù)組合的正確性及Qo S特性,在流程設(shè)計層面的時間約束下的兼容性驗證與錯誤檢測正受到越來越多的關(guān)注。當(dāng)前

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

1 徐紅霞;杜彥華;董紹華;;時序約束下Web服務(wù)組合的兼容性及修正研究[J];計算機(jī)集成制造系統(tǒng);2012年11期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前2條

1 馬昌威;馬洪江;;基于接口自動機(jī)的混合Web服務(wù)組合方法[J];計算機(jī)應(yīng)用;2014年06期

2 梁合蘭;杜彥華;李蘇劍;;基于協(xié)同進(jìn)化的松弛時序約束多服務(wù)流程優(yōu)化[J];計算機(jī)集成制造系統(tǒng);2015年08期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 陳學(xué)海;基于語義網(wǎng)關(guān)的離散制造執(zhí)行系統(tǒng)可重構(gòu)體系與關(guān)鍵技術(shù)研究[D];重慶大學(xué);2014年

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

中國期刊全文數(shù)據(jù)庫 前4條

1 王志堅;程永上;徐經(jīng)緯;;Web服務(wù)組合語義一致性驗證研究[J];計算機(jī)集成制造系統(tǒng);2009年01期

2 鄧水光;黃龍濤;尹建偉;李瑩;吳健;;Web服務(wù)組合技術(shù)框架及其研究進(jìn)展[J];計算機(jī)集成制造系統(tǒng);2011年02期

3 張松年;莊雷;杜娟;;時間自動機(jī)可達(dá)性分析算法的改進(jìn)[J];計算機(jī)工程與科學(xué);2007年10期

4 杜彥華;范玉順;李喜彤;;基于模塊化可達(dá)圖的服務(wù)組合驗證及BPEL代碼生成[J];軟件學(xué)報;2010年08期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

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

2 王勇;張煜;尹瑞;;Web服務(wù)組合中商業(yè)事務(wù)處理的研究[J];小型微型計算機(jī)系統(tǒng);2006年01期

3 郭玉彬;杜玉越;奚建清;;Web服務(wù)組合的有色網(wǎng)模型及運(yùn)算性質(zhì)[J];計算機(jī)學(xué)報;2006年07期

4 蔣運(yùn)承;湯庸;;服務(wù)組合的質(zhì)量估計模型[J];小型微型計算機(jī)系統(tǒng);2006年08期

5 劉必欣;周斌;賈焰;;Web服務(wù)組合支撐平臺StarService Flow的研究與實現(xiàn)[J];計算機(jī)工程與科學(xué);2006年12期

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

7 單保華;韓燕波;李厚福;胡海濤;;一種驗證業(yè)務(wù)級服務(wù)組合可執(zhí)行能力的方法[J];計算機(jī)科學(xué);2006年03期

8 廖志軍;高春鳴;;基于π演算的異構(gòu)Web服務(wù)組合的互操作[J];中國科技信息;2007年06期

9 周宇;張鵬程;李必信;;一種Web服務(wù)組合的數(shù)學(xué)模型[J];東南大學(xué)學(xué)報(自然科學(xué)版);2007年04期

10 王國法;孫曉亭;王昆;;Web服務(wù)組合中的服務(wù)選擇研究[J];計算機(jī)與信息技術(shù);2007年06期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 段友祥;相鵬;;Web服務(wù)組合引擎的研究與實現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2006年

2 吳亮;袁兆山;;基于模糊Petri網(wǎng)的語義Web服務(wù)組合[A];全國第20屆計算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會議（CACIS·2009）暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（上冊）[C];2009年

3 趙慧杰;;Web服務(wù)的組合計劃與優(yōu)化[A];2007年中國智能自動化會議論文集[C];2007年

4 張玉軍;李心科;;面向自然語言描述的Web服務(wù)組合[A];2011中國儀器儀表與測控技術(shù)大會論文集[C];2011年

5 周相兵;馬洪江;楊興江;;一種基于云計算的語義Web服務(wù)組合模型研究[A];2009年全國開放式分布與并行計算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2009年

6 付曉東;鄒平;;基于元流程的Web服務(wù)組合例外處理模型[A];第二十六屆中國控制會議論文集[C];2007年

7 江琦;奚宏生;殷保群;;網(wǎng)絡(luò)新媒體服務(wù)系統(tǒng)事件驅(qū)動的動態(tài)服務(wù)組合[A];第二十九屆中國控制會議論文集[C];2010年

8 徐明迪;趙恒;張煥國;;面向可靠性的動態(tài)Web服務(wù)組合選擇策略研究[A];CCF NCSC 2011——第二屆中國計算機(jī)學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

9 周獻(xiàn)中;吳奎;蕭毅鴻;;基于蟻群算法的Web服務(wù)自動組合[A];決策科學(xué)與評價——中國系統(tǒng)工程學(xué)會決策科學(xué)專業(yè)委員會第八屆學(xué)術(shù)年會論文集[C];2009年

10 徐其興;余鎮(zhèn)危;;一種基于移動Agent的服務(wù)組合模型[A];2006年全國開放式分布與并行計算學(xué)術(shù)會議論文集（二）[C];2006年

中國重要報紙全文數(shù)據(jù)庫 前5條

1 本報記者 張茜 通訊員 孟慶超;打好服務(wù)組合拳助力民企大發(fā)展[N];萊蕪日報;2014年

2 記者 俞永均 通訊員 方平原 王芬;外經(jīng)貿(mào)部門打出金融服務(wù)組合拳[N];寧波日報;2012年

3 高智 本報記者 王彤;許昌保險業(yè):亮出服務(wù)組合拳[N];中國保險報;2014年

4 沈建苗 編譯;利用現(xiàn)有服務(wù)構(gòu)建SOA應(yīng)用[N];計算機(jī)世界;2006年

5 記者 蕭雨林 通訊員 張興漢 郭畢;打好服務(wù)組合拳 提質(zhì)增效站排頭[N];襄陽日報;2014年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

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

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

3 周濤;基于策略的服務(wù)組合關(guān)鍵技術(shù)研究及應(yīng)用[D];浙江大學(xué);2012年

4 吳鐘;面向多邊協(xié)同的Web服務(wù)組合市場決策與優(yōu)化管理研究[D];武漢理工大學(xué);2013年

5 胡佳;語義Web服務(wù)自動組合及驗證的研究[D];天津大學(xué);2010年

6 馬小寧;鐵路信息共享的Web服務(wù)組合關(guān)鍵技術(shù)研究[D];北京交通大學(xué);2010年

7 包力;Web服務(wù)組合形式化建模與驗證研究[D];大連海事大學(xué);2009年

8 劉莉平;動態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

9 龍軍;基于信任感知與演化的服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

10 張楊;語義Web服務(wù)組合的可信性度量研究[D];重慶大學(xué);2011年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 劉磊;Web服務(wù)組合的性質(zhì)檢驗與實現(xiàn)[D];電子科技大學(xué);2009年

2 史斌;對等模式下個性化Web服務(wù)組合和匹配算法研究[D];山東大學(xué);2009年

3 陳陽;Web服務(wù)組合模型及相關(guān)技術(shù)的研究[D];哈爾濱工程大學(xué);2008年

4 周真建;語義Web服務(wù)組合的挖掘[D];南昌大學(xué);2009年

5 魏守賢;動態(tài)服務(wù)組合在社區(qū)服務(wù)平臺中的研究與應(yīng)用[D];浙江工商大學(xué);2011年

6 朱嘉魯;基于移動Agent的Web服務(wù)組合[D];中國科學(xué)院研究生院（成都計算機(jī)應(yīng)用研究所）;2006年

7 褚娟;Web服務(wù)組合的全局約束分析[D];山東大學(xué);2007年

8 宋馳;基于用戶偏好的啟發(fā)式Web服務(wù)組合的研究與實現(xiàn)[D];北京郵電大學(xué);2008年

9 張健;普適環(huán)境下一種分布式可靠服務(wù)組合機(jī)制研究[D];上海交通大學(xué);2010年

10 余洋;Web服務(wù)組合的調(diào)解技術(shù)研究與應(yīng)用[D];解放軍信息工程大學(xué);2011年

，

本文編號：765337