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

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

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

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