本文選題：Web服務(wù)組合驗證 + 建模　； 參考：《現(xiàn)代電子技術(shù)》2016年05期

【摘要】：針對Web服務(wù)組合的有效性驗證問題,提出了一種基于服務(wù)分組和調(diào)用軌跡的Web服務(wù)組合形式化驗證方案。首先,基于服務(wù)調(diào)用順序,利用提出的Web服務(wù)集分組(WSSG)算法將候選Web服務(wù)劃分為幾個子集,并結(jié)合調(diào)用軌跡編排這些子集組成WSSG圖,作為系統(tǒng)的抽象模型;然后,推理出系統(tǒng)所需的預(yù)期交互規(guī)范,并利用線性時序邏輯(LTL)來描述交互規(guī)范;最后,通過檢測模型是否符合交互規(guī)范來驗證組合模型的可行性。實驗結(jié)果表明,該方案能夠有效驗證Web服務(wù)組合的正確性,且避免了死鎖現(xiàn)象。
[Abstract]:A formal verification scheme for Web service composition based on service grouping and call locus is proposed to verify the validity of Web service composition. Firstly, based on the order of service invocation, the candidate Web services are divided into several subsets by using the proposed Web service set grouping algorithm, and the WSSG graph is composed of these subsets combined with the path of the call, which is used as the abstract model of the system. The expected interaction specification required by the system is deduced, and the interaction specification is described by using linear temporal logic. Finally, the feasibility of the combined model is verified by checking whether the model conforms to the interaction specification. Experimental results show that the scheme can effectively verify the correctness of Web service composition and avoid deadlock phenomenon.
【作者單位】： 周口師范學(xué)院計算機科學(xué)與技術(shù)學(xué)院;
【基金】：國家青年基金項目(61300124) 河南省科技廳項目:面向航空港區(qū)的物流Web服務(wù)動態(tài)優(yōu)化組合問題研究(132400411365);河南省科技廳項目:面向大數(shù)據(jù)的隱私保護技術(shù)研究(142400411237) 河南省教育廳項目:基于資源整合的物流web服務(wù)動態(tài)優(yōu)化組合方法研究(15B520046);河南省教育廳項目:面向云計算基于隱私保護的信任模型研究(15B520045)資助
【分類號】：TP393.09

【相似文獻】

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

1 孫潔麗;龔立群;;Web服務(wù)組合標(biāo)準(zhǔn)規(guī)范的研究[J];現(xiàn)代圖書情報技術(shù);2007年05期

2 萬里平;蔡美玲;高春鳴;;基于服務(wù)聯(lián)盟的Web服務(wù)組合模型及方法[J];計算機工程與應(yīng)用;2007年31期

3 郭峰;張萌;;Web服務(wù)組合的可靠性分析[J];系統(tǒng)仿真學(xué)報;2008年S2期

4 程永上;王志堅;;Web服務(wù)組合在水利領(lǐng)域中的應(yīng)用[J];計算機工程與應(yīng)用;2008年07期

5 陳世展;馮志勇;;服務(wù)網(wǎng)絡(luò):Web服務(wù)組合的新基點[J];計算機應(yīng)用研究;2008年05期

6 劉志紅;;Web服務(wù)組合的相關(guān)研究[J];農(nóng)業(yè)科技與裝備;2009年01期

7 熊偉;;Web服務(wù)組合綜述[J];信息化縱橫;2009年05期

8 曾偉;胡W，

本文編號：1893433