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

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

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

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