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

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

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

【參考文獻】

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

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

【共引文獻】

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

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

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

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

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

【二級參考文獻】

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

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

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

3 張松年;莊雷;杜娟;;時間自動機可達性分析算法的改進[J];計算機工程與科學;2007年10期

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4 沈建苗 編譯;利用現(xiàn)有服務構建SOA應用[N];計算機世界;2006年

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

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

1 馮名正;Web服務組合關鍵技術研究[D];東南大學;2006年

2 何豐;語義Web服務組合若干關鍵技術研究[D];東華大學;2008年

3 周濤;基于策略的服務組合關鍵技術研究及應用[D];浙江大學;2012年

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

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

6 馬小寧;鐵路信息共享的Web服務組合關鍵技術研究[D];北京交通大學;2010年

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

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

9 龍軍;基于信任感知與演化的服務組合關鍵技術研究[D];中南大學;2011年

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

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

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

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

3 陳陽;Web服務組合模型及相關技術的研究[D];哈爾濱工程大學;2008年

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

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

6 朱嘉魯;基于移動Agent的Web服務組合[D];中國科學院研究生院（成都計算機應用研究所）;2006年

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

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

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

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

，

本文編號：765337