基于隨機Petri網的組合Web服務可信性研究.pdf

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

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

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