面向Agent需求工程建模方法的研究.pdf

1、需求分析技術(shù)和面向Agent軟件設(shè)計(jì)技術(shù)都是當(dāng)前計(jì)算機(jī)科學(xué)研究領(lǐng)域中的熱門技術(shù)。Agent技術(shù)作為一種新的在更高抽象層次上建模軟件的技術(shù)，對(duì)傳統(tǒng)的軟件需求分析方法提出了挑戰(zhàn)，但同時(shí)也帶來了機(jī)遇。在傳統(tǒng)的需求分析技術(shù)(面向?qū)ο笮枨蠓治黾夹g(shù)和面向結(jié)構(gòu)需求分析技術(shù))中，需求分析過程和程序設(shè)計(jì)過程往往容易脫節(jié)。但目前，Agent系統(tǒng)的研究者將大部分精力和熱情投入到多Agent系統(tǒng)的基礎(chǔ)研究中，而對(duì)基于多Agent系統(tǒng)的需求工程，如早期需求分析、

2、后期需求設(shè)計(jì)、需求建模方面研究較少。雖然目前也有一些面向Agent需求建模方法，但一些方面并沒有涉及，所以本論文提出了一套較完善的面向Agent系統(tǒng)需求分析建模方法。 首先，本論文分析了當(dāng)前面向Agent系統(tǒng)的需求情況。隨著社會(huì)信息化地進(jìn)步和發(fā)展，對(duì)于軟件的智能化要求越來越高，所以利用面向Agent的思想和理論設(shè)計(jì)開發(fā)軟件是將來的趨勢(shì)。 其次，本文定義了面向Agent系統(tǒng)的圖形化符號(hào)說明。在這些圖形符號(hào)說明中，可以很明確

3、地表示整個(gè)系統(tǒng)中的利益相關(guān)者以及它們之間存在的各種依賴關(guān)系。然后在這個(gè)基礎(chǔ)上，還定義了多Agent之間交互合作模型，非常詳細(xì)地說明它們之間的通信合作情況。 接著，本論文對(duì)面向Agent系統(tǒng)需求分析中出現(xiàn)的非功能性問題進(jìn)行研究。在面向Agent系統(tǒng)的分析中，非功能性需求問題在所難免。在前面理論的基礎(chǔ)上進(jìn)行完善和改進(jìn)，采用求精和相關(guān)性描述方法對(duì)非功能性問題建立非功能性目標(biāo)樹，較模糊的、籠統(tǒng)的、整體的非功能性需求問題就可以細(xì)化到可以直

4、接解決和處理的具體問題。 然后就是對(duì)面向Agent系統(tǒng)需求分析中的非確定性需求問題進(jìn)行研究。在介紹經(jīng)常被用來描述非確定性需求問題的粗糙集理論和模糊集理論的基礎(chǔ)上，結(jié)合這兩種方法的優(yōu)點(diǎn)，利用粗糙-模糊集和模糊-粗糙集概念對(duì)面向Agent系統(tǒng)需求分析中出的非確定性需求問題進(jìn)行定量分析和描述。 再就是本文定義了一組形式化語言描述，對(duì)整個(gè)系統(tǒng)進(jìn)行建模分析，可以很容易地刻畫和描述系統(tǒng)的執(zhí)行者、執(zhí)行者的活動(dòng)狀態(tài)以及執(zhí)行者之間的交互合

5、作過程，為模型檢測(cè)奠定基礎(chǔ)。 最后，本論文對(duì)已經(jīng)建立的模型進(jìn)行檢測(cè)。采用NuSMV工具，結(jié)合CTL及LTL模型表達(dá)邏輯，將已經(jīng)定義的形式化語言過渡到NuSMV語言，然后利用NuSMV進(jìn)行模型檢測(cè)，并最終給出模型檢測(cè)的結(jié)果。 本論文從面向Agent需求工程的各個(gè)方面進(jìn)行了研究，包括早期的圖形化符號(hào)表示方法、非功能性需求問題、非確定性需求問題、形式化語言描述方法、建模方法以及最后的模型檢測(cè)等，并引入了實(shí)例對(duì)各步驟的方法進(jìn)行實(shí)