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

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

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

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

4、執(zhí)行引擎的基礎(chǔ)上提出了Web服務(wù)異常處理的Petri網(wǎng)實(shí)時(shí)策略，包括忽略策略、重試策略、分支間替換策略、分支內(nèi)替換策略和補(bǔ)償機(jī)制，并給出了基于各種策略的整體策略的實(shí)施流程。在服務(wù)發(fā)生異常并需要調(diào)整網(wǎng)的結(jié)構(gòu)時(shí)，可以使用Petri網(wǎng)有效快速地重構(gòu)服務(wù)組合的流程，另外能夠?qū)χ貥?gòu)后的服務(wù)組合網(wǎng)進(jìn)行有效驗(yàn)證，保證了流程的正確性。此外，給出的替換策略考慮了服務(wù)間的依賴關(guān)系，保證了服務(wù)異常處理的有效性和正確性，替換策略還充分考慮了服務(wù)的事務(wù)屬性，利用