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

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

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

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

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