基于網(wǎng)格的面向AGNET可視化需求建模及一致性檢查研究.pdf

1、計(jì)算網(wǎng)格是一種由硬件和軟件構(gòu)成的信息技術(shù)基礎(chǔ)設(shè)施，能提供可靠的、可協(xié)調(diào)的、可擴(kuò)展的和廉價(jià)的高端計(jì)算能力的訪問，并支持動態(tài)的、分布式的虛擬組織之間不同資源的共享和協(xié)作。從分布式人工智能觀點(diǎn)考慮，網(wǎng)格計(jì)算和多Agent系統(tǒng)具有很強(qiáng)的相似性，因?yàn)槎郃gent系統(tǒng)中的實(shí)體和網(wǎng)格實(shí)體都具有自治行為。自治性是Agent抽象的關(guān)鍵特性，同時(shí)Agent還具有其他一些和網(wǎng)格實(shí)體相關(guān)的特性，如社會性、自發(fā)性和異構(gòu)性等。因此，Agent已經(jīng)成為研究網(wǎng)格實(shí)體的

2、一種重要的抽象機(jī)制。 結(jié)合網(wǎng)格計(jì)算環(huán)境的基本特征，采用Agent技術(shù)和組織建模技術(shù)，劉煒等人提出了一種適合于網(wǎng)格環(huán)境的面向Agent軟件分析和設(shè)計(jì)建模方法(Agent-orientedModelingbasedGrid，簡稱AOMG方法)。它為面向Agent的分析與設(shè)計(jì)提供了描述語言、建模方法，以及用于網(wǎng)格分布式系統(tǒng)描述的元模型層次上的圖形符號。本文在對AOMG方法的概念模型以及需求分析過程進(jìn)行總結(jié)，對現(xiàn)有的各種建模工具所采用的

3、模型沖突檢測方式進(jìn)行比較和研究后，設(shè)計(jì)了一個(gè)可視化建模環(huán)境AOMG-DESIRE，并為之提供了一套實(shí)用、靈活的模型沖突自動檢測機(jī)制，規(guī)范了AOMG方法的需求分析過程。 AOMG-DESIRE通過形象化的圖形和表格表現(xiàn)概念模型(如角色模型)，通過視圖直觀的表現(xiàn)系統(tǒng)抽象模型(如系統(tǒng)組織模型和Agent交互模型)。OWLDL語言也被用來對需求模型進(jìn)行描述，以便實(shí)施需求過程的自動度量和設(shè)計(jì)成果的共享。 再者，環(huán)境提供的模型語法和

4、一致性檢查(ConsistencyChecking)機(jī)制，共同為需求模型的正確性提供保證。而劉煒提出的基于Object-Z語言的形式化框架為AOMG方法中基本概念和術(shù)語提供了精確無二義性的定義，為需求模型的可執(zhí)行驗(yàn)證奠定了基礎(chǔ)： 1.模型語法檢查機(jī)制。將元模型語法約束映射為模型描述類的刻面約束聲明，并使用KBeans軟件包來完成自動檢驗(yàn)功能。 2.模型一致性檢查機(jī)制。將需求分析模型的OWL描述解析為前序描述邏輯，導(dǎo)入推理