基于網(wǎng)格的面向Agent軟件分析與設(shè)計(jì)建模方法及環(huán)境研究.pdf

1、上海大學(xué)博士學(xué)位論文基于網(wǎng)格的面向Agent軟件分析與設(shè)計(jì)建模方法及環(huán)境研究姓名：劉煒申請(qǐng)學(xué)位級(jí)別：博士專(zhuān)業(yè)：控制理論與控制工程指導(dǎo)教師：劉宗田20050401海大學(xué)博L學(xué)位論文于元模型層次的模型變換規(guī)則，很好地解決了需求分析過(guò)程中的Agent抽取問(wèn)題，縮小了設(shè)計(jì)過(guò)程中從Agent抽象層次到對(duì)象層次之間的鴻溝。(4)任何一種系統(tǒng)化的建模方法，都必須建立在對(duì)建模概念和基本模型的語(yǔ)法和語(yǔ)義的精確定義的基礎(chǔ)上。為此，在AOMG建模概念基礎(chǔ)上，

2、通過(guò)擴(kuò)展ObjectZ，我們提出了AOMG形式化建?？蚣?，F(xiàn)ormalAOMG。該框架為AOMG建模方法中各種概念和元模型提供了精確無(wú)二義性的定義，同時(shí)為AOMG可視化建?？蚣苤械哪Ｐ妥儞Q規(guī)則提供了基于精確語(yǔ)義描述的形式化基礎(chǔ)。FormalAOMG既可以做為獨(dú)立的針對(duì)網(wǎng)格軟件的形式化建模語(yǔ)言，也可以做為AOMG建模方法在后續(xù)設(shè)計(jì)、實(shí)現(xiàn)和模型驗(yàn)證過(guò)程中的一種補(bǔ)充。(5)對(duì)于網(wǎng)格軟件來(lái)說(shuō)，為了實(shí)現(xiàn)服務(wù)的共享，如何在網(wǎng)格環(huán)境中選擇資源以及如何

3、為其他網(wǎng)格應(yīng)用提供資源是需要解決的重要問(wèn)題，因此需要提供一種有效的資源匹配機(jī)制。在AOMG建模方法中，我們采用了基于本體的資源匹配方法。通過(guò)擴(kuò)展U／VIL類(lèi)圖來(lái)建立網(wǎng)格應(yīng)用的資源本體模型，而為了準(zhǔn)確快速地構(gòu)造基于OWL(WebOntologyLanguage)的可用本體，我們?cè)赨ML和OWL之間建立一個(gè)元模型語(yǔ)義映射關(guān)系表。(6)為了驗(yàn)證AOMG方法體系中各種建模思想以及模型語(yǔ)言的有效性，我們開(kāi)發(fā)了一個(gè)基于AOMG方法體系的建模環(huán)境一A

4、OMGToolkits。AOMGToolldts建模環(huán)境提供了可視化的模型編輯器以及基于元模型層次的模型變換工具，實(shí)現(xiàn)了基于OWL的模型存儲(chǔ)，同時(shí)通過(guò)元模型的刻面約束機(jī)制實(shí)現(xiàn)了AOMG元模型語(yǔ)法的正確性檢查。(7)通過(guò)一個(gè)電子政務(wù)網(wǎng)格門(mén)戶(hù)系統(tǒng)完整地演示了網(wǎng)格軟件系統(tǒng)的需求獲取、分析模型和設(shè)計(jì)模型的建立(包括基于形式化框架的模型建立)、Agent的抽取、分析模型到設(shè)計(jì)模型的映射、資源本體的建立等內(nèi)容。關(guān)鍵詞：網(wǎng)格計(jì)算，Agent，網(wǎng)格Ag