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

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

【摘要】：Web服務(wù)組合的目的是實(shí)現(xiàn)單一服務(wù)無法滿足的復(fù)雜功能,而保證組合的正確性以實(shí)現(xiàn)服務(wù)增值是十分必要,因此組合之后的正確性驗(yàn)證是Web服務(wù)組合的一個(gè)重要研究方向。從Web服務(wù)交互行為方面描述多Web服務(wù)組合,在提出行為兼容性的相關(guān)理論的基礎(chǔ)上,給出基于Pi演算的多Web服務(wù)組合行為兼容性的自動(dòng)化驗(yàn)證算法,通過將多Web服務(wù)組合自動(dòng)轉(zhuǎn)化為Pi演算中的組合進(jìn)程,實(shí)現(xiàn)多Web服務(wù)組合的自動(dòng)化驗(yàn)證。
[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ù)組合驗(yàn)證而言,其驗(yàn)證能力基本相Web服務(wù)組合是指由各個(gè)小粒度的Web服務(wù)相互當(dāng)[3]。基于進(jìn)程代數(shù)的方法由于采用了進(jìn)程表達(dá)式描述之間通信和協(xié)作來實(shí)現(xiàn)大粒度的服務(wù)功能[1]。它包含了系統(tǒng),其表達(dá)能力強(qiáng)而且形式更為簡潔,加之進(jìn)程代數(shù)Web服務(wù)發(fā)現(xiàn)、Web服務(wù)

【相似文獻(xiàn)】

相關(guān)期刊論文 前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 劉必欣;周斌;賈焰;;Web服務(wù)組合支撐平臺StarService Flow的研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與科學(xué);2006年12期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：1400862