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

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

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

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