基于隨機(jī)Petri網(wǎng)的組合Web服務(wù)可信性研究.pdf

1、隨著計(jì)算機(jī)和網(wǎng)絡(luò)技術(shù)的迅速發(fā)展和普及，一種結(jié)合了web技術(shù)和軟件工程技術(shù)的新型計(jì)算模式應(yīng)運(yùn)而生，它就是面向服務(wù)的新型計(jì)算模式，相應(yīng)地產(chǎn)生了面向服務(wù)的體系結(jié)構(gòu)（Service Oriented Architectures SOA）。SOA以服務(wù)組合為重要特性，將注意力放在服務(wù)上，使得應(yīng)用程序能夠集中起來提供更加豐富、目的性更強(qiáng)的商業(yè)流程，更加真實(shí)地反映業(yè)務(wù)模型。由于web服務(wù)組合資源利用和重整的優(yōu)勢和廣泛的應(yīng)用前景，成為當(dāng)前研究的熱點(diǎn)。雖

2、然服務(wù)組合為有效利用網(wǎng)絡(luò)資源和提供高效靈活的功能創(chuàng)造了新的契機(jī)，然而由于相關(guān)的研究尚處在起步階段，web服務(wù)組合技術(shù)還面臨很多挑戰(zhàn)，web服務(wù)組合的可信性就是其中之一。 本文首先介紹了web服務(wù)組合基本概念和相關(guān)研究現(xiàn)狀，以及系統(tǒng)可信性研究現(xiàn)狀，同時(shí)還提出了關(guān)于web服務(wù)組合可信研究的三個(gè)主要指標(biāo)：正確性、可靠性和安全性以及它們的含義。然后，根據(jù)研究的需要，對隨機(jī)Petri網(wǎng)的庫所和變遷進(jìn)行了擴(kuò)展，提出了擴(kuò)展了服務(wù)信息的隨機(jī)Pe

3、tri網(wǎng)。引入了一種數(shù)據(jù)庫所以分析模型中服務(wù)之間數(shù)據(jù)傳遞所引發(fā)的錯(cuò)誤；在變遷上又引入了兩個(gè)時(shí)間信息，分別描述服務(wù)的失效速率和修復(fù)速率，以分析服務(wù)組合的可靠性和安全性。接下來，給出了服務(wù)組合可信性的分析方法。在正確性分析方面，將服務(wù)參數(shù)作為研究對象引入到模型中，給出由于模型中數(shù)據(jù)訪問引發(fā)的錯(cuò)誤，并給出對應(yīng)的Petri網(wǎng)模型的形式化描述和模型正確性分析算法，在建立模型可達(dá)標(biāo)識圖的基礎(chǔ)上，利用算法獲得模型正確性信息。在模型可靠性分析方面，通過