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

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

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

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