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

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

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

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