基于網(wǎng)格應(yīng)用的高層形式化描述.pdf

1、開放式網(wǎng)格服務(wù)體系結(jié)構(gòu)(OGSA，OpenGridServicesArchitecture)的思想是把Globus和WebService結(jié)合起來，提出了網(wǎng)格服務(wù)的概念，它將一切計算資源、存儲資源、網(wǎng)絡(luò)、數(shù)據(jù)庫等以服務(wù)的形式呈現(xiàn)，通過定義標(biāo)準(zhǔn)的服務(wù)接口，把服務(wù)實現(xiàn)、資源所在地和物理資源屏蔽，這樣使得各種應(yīng)用能夠進(jìn)行共享和交互操作。然而，由于網(wǎng)格系統(tǒng)中存在分布、動態(tài)、數(shù)量眾多的網(wǎng)格服務(wù)，網(wǎng)格服務(wù)信息分布于網(wǎng)格系統(tǒng)的不同位置，同時很多網(wǎng)格服務(wù)

2、之間存在一定的關(guān)聯(lián)和依賴，一種服務(wù)的失效影響與之關(guān)聯(lián)的所有服務(wù)的可用性。因此，如何管理和維護(hù)這些分布、動態(tài)的網(wǎng)格服務(wù)信息，保證這些網(wǎng)格服務(wù)的可用性和一致性，同時支持高效率的基于信息的服務(wù)檢索，是網(wǎng)格服務(wù)研究的一個重要問題。然而目前大部分的網(wǎng)格服務(wù)信息采用XML語言描述，雖然具有一定的語義支持，但概念還缺乏嚴(yán)格的形式化定義，選擇合適的形式化方法來描述和規(guī)范網(wǎng)格應(yīng)用系統(tǒng)是一個很關(guān)鍵的問題。 針對這個問題，本文提出了網(wǎng)格自動機的理論模

3、型，以及基于抽象狀態(tài)機ASM(Abstract State Machine)的傳感器網(wǎng)格應(yīng)用的形式化描述模型，形式化地給出傳感器網(wǎng)格服務(wù)的表示模型?；诔橄鬆顟B(tài)機定義了傳感器網(wǎng)格具體的規(guī)則，例如傳感器節(jié)點發(fā)現(xiàn)目標(biāo)，連接服務(wù)器，資源匹配，資源請求，服務(wù)信息的發(fā)送接收，服務(wù)注冊等，闡述了傳感器網(wǎng)格服務(wù)信息之間的關(guān)聯(lián)及其約束。另外基于規(guī)則的描述，利用微軟亞洲工程研究院開發(fā)的.NET的AsmL工具對其進(jìn)行驗證，生成有限自動機，精確地定義了傳感器