基于語義和訪問策略的協(xié)同模型研究.pdf

1、大規(guī)模并行與分布式系統(tǒng)的出現(xiàn)開拓了軟件技術的應用前景，當前很多應用程序都利用并行與分布系統(tǒng)所提供的強大的計算能力以縮短其周轉時間。要開發(fā)大規(guī)模并行與分布式系統(tǒng)的全部潛能，必須要處理系統(tǒng)中大量并發(fā)的活動體的協(xié)同過程。以Linda為代表的基于共享數(shù)據空間的協(xié)同模型和協(xié)同語言具有時間解耦、空間解耦和引用解耦的特點，為大規(guī)模并行與分布式系統(tǒng)的設計與發(fā)展提供了一種新方法，體現(xiàn)了大規(guī)模程序設計的發(fā)展趨勢，適應了像Internet這樣開放、動態(tài)、真分

2、布的計算環(huán)境中的軟件應用需求，在現(xiàn)實應用中具有重要的意義，已逐漸成為軟件技術研究的重點。 但是，現(xiàn)有的大多協(xié)同模型普遍存在一些問題：一是缺乏語義信息，交互的實體之間無法理解彼此的含義，影響了協(xié)同模型在開放的分布式系統(tǒng)中的進一步應用；二是對信息的訪問控制問題，主要采用規(guī)則的方式來實現(xiàn)對信息的訪問控制。針對上述問題，本文的主要工作是以多Agent系統(tǒng)為應用背景，研究有關Agent協(xié)同模型的問題，提出一種基于語義和訪問策略的協(xié)同模型。

3、具體工作包括如下幾個方面： (1)具有語義信息的協(xié)同模型將語義Web技術中的OWL DL和規(guī)則引入到Linda中，提出一種具有語義信息的協(xié)同模型。在該模型中，使用OWL DL描述語義信息，采用本體表示元組空間，并根據該本體圖分析具有語義信息的元組空間中將會出現(xiàn)的新的元組類型，進而提出一組可以對這種新類型的元組進行操作的協(xié)同原語及其相應的匹配機制。 (2)訪問控制策略采用基于策略的方式實現(xiàn)客戶對元組空間行為的控制，該訪問策

4、略使用本體+規(guī)則的方式描述，具體包括：①使用語義Web技術中的OWL定義了一個適用于Linda模型的訪問策略語言，②解決了訪問策略規(guī)則在元組空間中的表示、協(xié)同操作和匹配問題，③提出一個用于訪問策略推理的運算法則用于決定Agent是否有權執(zhí)行某個具體的協(xié)同操作。 (3) 協(xié)同模型原型系統(tǒng)實現(xiàn)基于上述兩個方面的內容，對本文提出的基于語義和訪問策略的協(xié)同模型AccSTuple作了部分實現(xiàn)，詳細講述系統(tǒng)執(zhí)行過程，并結合一實例，闡述訪問策