發(fā)布時間：2018-01-09 09:26

  本文關(guān)鍵詞：多Web服務(wù)組合兼容性的自動化驗證　出處：《計算機工程與應(yīng)用》2016年07期 　論文類型：期刊論文

  更多相關(guān)文章： Pi演算 Web服務(wù)組合 行為兼容性 Web服務(wù)行為 自動化驗證

【摘要】：Web服務(wù)組合的目的是實現(xiàn)單一服務(wù)無法滿足的復(fù)雜功能,而保證組合的正確性以實現(xiàn)服務(wù)增值是十分必要,因此組合之后的正確性驗證是Web服務(wù)組合的一個重要研究方向。從Web服務(wù)交互行為方面描述多Web服務(wù)組合,在提出行為兼容性的相關(guān)理論的基礎(chǔ)上,給出基于Pi演算的多Web服務(wù)組合行為兼容性的自動化驗證算法,通過將多Web服務(wù)組合自動轉(zhuǎn)化為Pi演算中的組合進程,實現(xiàn)多Web服務(wù)組合的自動化驗證。
[Abstract]:The purpose of Web service composition is to realize complex functions that can not be satisfied by a single service, and it is necessary to ensure the correctness of composition to realize service increment. Therefore, the correctness verification after composition is an important research direction of Web service composition. It describes the composition of multiple Web services from the aspect of Web services interaction behavior. Based on the theory of behavior compatibility, an automatic verification algorithm for multi-#en0# service composition behavior compatibility based on Pi calculus is presented. The composition of multiple Web services is automatically transformed into a composition process in Pi calculus to realize the automatic verification of the composition of multiple Web services.
【作者單位】： 渤海大學(xué)信息科學(xué)與技術(shù)學(xué)院;哈爾濱工業(yè)大學(xué)航天學(xué)院;
【分類號】：TP393.09
【正文快照】： 1引言同,但對于Web服務(wù)組合驗證而言,其驗證能力基本相Web服務(wù)組合是指由各個小粒度的Web服務(wù)相互當(dāng)[3]。基于進程代數(shù)的方法由于采用了進程表達式描述之間通信和協(xié)作來實現(xiàn)大粒度的服務(wù)功能[1]。它包含了系統(tǒng),其表達能力強而且形式更為簡潔,加之進程代數(shù)Web服務(wù)發(fā)現(xiàn)、Web服務(wù)

【相似文獻】

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

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

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

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

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

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

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

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

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

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

10 成睿星;楊放春;蘇森;;基于多重服務(wù)范例適應(yīng)性調(diào)整的服務(wù)組合[J];軟件學(xué)報;2008年11期

相關(guān)會議論文 前10條

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

2 吳亮;袁兆山;;基于模糊Petri網(wǎng)的語義Web服務(wù)組合[A];全國第20屆計算機技術(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年全國開放式分布與并行計算機學(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——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

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

10 崔倩;申利民;;基于QoS的Web服務(wù)組合優(yōu)化策略[A];全國第19屆計算機技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會議論文集（下冊）[C];2008年

，

本文編號：1400862