Web服務組合動態(tài)執(zhí)行異常處理的Petri網(wǎng)實時策略研究.pdf

1、隨著互聯(lián)網(wǎng)技術的不斷發(fā)展，開發(fā)人員設計出來的應用會在編程語言、基礎平臺等方面存在差異，這種差異不利于不同應用間的交互，面向服務的計算就是為解決這類問題而提出的。Web服務作為一個很重要的技術在面向服務的計算中得到了廣泛的應用，它以通用的XML方式發(fā)布其使用接口，能夠屏蔽應用的具體實現(xiàn)細節(jié)，使得不同的應用之間可以輕松地交互。但是隨著互聯(lián)網(wǎng)的不斷壯大，大量的 Web服務涌現(xiàn)，而人們的復雜需求往往不能通過單個 Web服務來實現(xiàn)，于是就需要將不

2、同的服務按照用戶的需求以及相應的規(guī)則進行組合，進而為用戶提供更加全面的功能。同時 Web服務處于復雜的網(wǎng)絡環(huán)境中，很容易受到網(wǎng)絡擁塞、基礎設施損壞、惡意攻擊等各方面因素的影響，極易出現(xiàn)各種各樣的異常，如果不對這些異常進行處理，服務組合的執(zhí)行就有可能終止，進而會對用戶產(chǎn)生不利影響。
　　針對上面的問題，本文設計了基于Petri網(wǎng)的Web服務組合執(zhí)行引擎。該執(zhí)行引擎在服務和Petri網(wǎng)之間建立對應關系，在具體執(zhí)行時首先初始化服務組合對

3、應的Petri網(wǎng)，然后利用 Petri網(wǎng)中變遷的激發(fā)規(guī)則，檢測出可執(zhí)行的變遷，利用提出的消除沖突算法對可激發(fā)變遷中處于選擇結構的變遷進行選擇，最后并發(fā)的執(zhí)行可激發(fā)變遷對應的服務，并把服務的動態(tài)執(zhí)行信息實時的反饋到Petri網(wǎng)上，使相應的token流動，如此反復，直到服務組合執(zhí)行完畢。另外，針對服務具體執(zhí)行的細節(jié)，給出了服務輸入?yún)?shù)規(guī)范性驗證方法、基于反射機制的服務間參數(shù)轉換方法和基于知識框架的輸出參數(shù)檢驗方法等。
　　然后，在上述

4、執(zhí)行引擎的基礎上提出了Web服務異常處理的Petri網(wǎng)實時策略，包括忽略策略、重試策略、分支間替換策略、分支內替換策略和補償機制，并給出了基于各種策略的整體策略的實施流程。在服務發(fā)生異常并需要調整網(wǎng)的結構時，可以使用Petri網(wǎng)有效快速地重構服務組合的流程，另外能夠對重構后的服務組合網(wǎng)進行有效驗證，保證了流程的正確性。此外，給出的替換策略考慮了服務間的依賴關系，保證了服務異常處理的有效性和正確性，替換策略還充分考慮了服務的事務屬性，利用