基于WS-Management規(guī)范的分析和研究.pdf

1、企業(yè)信息系統(tǒng)管理對企業(yè)的信息化起著至關重要的作用。但是由于系統(tǒng)受管資源往往源于多個廠商,兼容性得不到保證;企業(yè)的業(yè)務在其發(fā)展過程中也會日趨復雜;同時企業(yè)在發(fā)展的過程中,其業(yè)務可能會跨不同地區(qū),甚至跨越國界,這些都為系統(tǒng)管理帶來了挑戰(zhàn)。WebServices技術憑借著其良好的跨平臺性、跨語言等特性,越來越受到計算機界的重視。WS-Management規(guī)范是國際上著名的標準化組織DMTF提出一個利用WebServices技術進行系統(tǒng)管理的標

2、準。該規(guī)范的制訂參考了許多業(yè)已成熟的WebServices方面的標準,同時WS-Management規(guī)范也做了相應地改進。
　　 本文首先利用網絡協(xié)議的形式化描述與驗證技術Petri網對WS-Management規(guī)范的三個子規(guī)范:WS-rransfer、WS-Enumeration和WS-Eventing進行了形式化描述。在此技術上對這三個子規(guī)范進行了形式化的驗證,驗證表明三個子規(guī)范均滿足有界性、活性、完整性和前進性。在WS-M

3、anagement規(guī)范發(fā)布之后,許多著名的計算機廠商紛紛推出了一些基于WS-Management規(guī)范的開源實現,但是這些開源實現大都沒有和具體的系統(tǒng)管理資源進行交互。我們利用了其中的開源實現設計和實現了一個基于WS-Management規(guī)范的管理系統(tǒng),并在此基礎上對Windows平臺上的資源進行了初步的管理。
　　 最后,本文分析和比較了WS-Management規(guī)范中WS-Eventing子規(guī)范中提出的兩種事件遞推模式:拉模式