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

  更多相關文章： Pi演算 Web服務組合 行為兼容性 Web服務行為 自動化驗證

【摘要】：Web服務組合的目的是實現(xiàn)單一服務無法滿足的復雜功能,而保證組合的正確性以實現(xiàn)服務增值是十分必要,因此組合之后的正確性驗證是Web服務組合的一個重要研究方向。從Web服務交互行為方面描述多Web服務組合,在提出行為兼容性的相關理論的基礎上,給出基于Pi演算的多Web服務組合行為兼容性的自動化驗證算法,通過將多Web服務組合自動轉化為Pi演算中的組合進程,實現(xiàn)多Web服務組合的自動化驗證。
[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.
【作者單位】： 渤海大學信息科學與技術學院;哈爾濱工業(yè)大學航天學院;
【分類號】：TP393.09
【正文快照】： 1引言同,但對于Web服務組合驗證而言,其驗證能力基本相Web服務組合是指由各個小粒度的Web服務相互當[3]�；谶M程代數(shù)的方法由于采用了進程表達式描述之間通信和協(xié)作來實現(xiàn)大粒度的服務功能[1]。它包含了系統(tǒng),其表達能力強而且形式更為簡潔,加之進程代數(shù)Web服務發(fā)現(xiàn)、Web服務

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關會議論文 前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 崔倩;申利民;;基于QoS的Web服務組合優(yōu)化策略[A];全國第19屆計算機技術與應用（CACIS）學術會議論文集（下冊）[C];2008年

，

本文編號：1400862