基于PETRI網(wǎng)的松耦合環(huán)境下可靠服務(wù)組合的建模與分析.pdf

1、Web Service出現(xiàn)以后，服務(wù)組合系統(tǒng)的松耦合性、自治性使得不同于集中型系統(tǒng)下的可靠性問題突顯出來。服務(wù)組合系統(tǒng)一般由廣域網(wǎng)連接起來的計(jì)算機(jī)所組成，其中的子部件常常會出現(xiàn)故障和一些執(zhí)行時(shí)間不能確定的行為活動(dòng)等。 這些故障會影響組合服務(wù)的性能和一致性。原子事務(wù)處理是在出現(xiàn)故障的情況下保證一致性的一種技術(shù)。它廣為人知的ACID屬性，可以確保在即使是很復(fù)雜的業(yè)務(wù)應(yīng)用中，不管是否出現(xiàn)并發(fā)存取和故障，狀態(tài)的一致性都得以保持。這是一個(gè)

2、極其有用的容錯(cuò)技術(shù)，尤其在牽扯到多個(gè)資源的情況下。然而，由于服務(wù)組合已經(jīng)發(fā)展成為在跨企業(yè)級別集成進(jìn)程和應(yīng)用程序的一種方式，傳統(tǒng)的事務(wù)處理的語義和協(xié)議已被證明不合時(shí)宜?？煽糠?wù)組合與傳統(tǒng)事務(wù)的不同之處，在于前者的執(zhí)行周期長隔離級別必須被放寬。 為了更有效地考察可靠服務(wù)組合，本文基于隨機(jī)Petri網(wǎng)(SPN)提出了一種描述Web Service及其組合的服務(wù)組合網(wǎng)(SCN)，結(jié)合Web Service的松耦合、自治、無狀態(tài)等特性的定

3、義了無資源服務(wù)和資源競爭服務(wù)的結(jié)構(gòu)與實(shí)現(xiàn)，通過分析BPEL4WS 中的復(fù)合結(jié)構(gòu)定義了五種基本的復(fù)合關(guān)系：順序，互斥，亂序，重復(fù)，并發(fā)。基于SPN 標(biāo)記可達(dá)圖同構(gòu)于一個(gè)齊次Markov鏈的性質(zhì)分析了服務(wù)與復(fù)合結(jié)構(gòu)的評價(jià)方法與性能指數(shù)。本文區(qū)分了個(gè)體異常與全局異常，使用AND/OR樹有效地計(jì)算了全局異常，針對個(gè)體異常提出了基于補(bǔ)償?shù)漠惓Ｌ幚矸绞剑ㄟ^為每個(gè)服務(wù)加入補(bǔ)償服務(wù)以保證在出現(xiàn)無法處理的異常時(shí)系統(tǒng)仍能夠保持一致性，并分析了每種復(fù)合結(jié)構(gòu)