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

1、需求分析技術和面向Agent軟件設計技術都是當前計算機科學研究領域中的熱門技術。Agent技術作為一種新的在更高抽象層次上建模軟件的技術，對傳統(tǒng)的軟件需求分析方法提出了挑戰(zhàn)，但同時也帶來了機遇。在傳統(tǒng)的需求分析技術(面向對象需求分析技術和面向結構需求分析技術)中，需求分析過程和程序設計過程往往容易脫節(jié)。但目前，Agent系統(tǒng)的研究者將大部分精力和熱情投入到多Agent系統(tǒng)的基礎研究中，而對基于多Agent系統(tǒng)的需求工程，如早期需求分析、

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

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

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

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