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

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

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

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前5條

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

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

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

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

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

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前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ù)組合市場(chǎng)決策與優(yōu)化管理研究[D];武漢理工大學(xué);2013年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：765337