復(fù)雜信息系統(tǒng)能力需求可執(zhí)行建模與仿真

第1章  緒論 1 1.1  能力需求的基本概念 1  1.1.1  能力 1  1.1.2  能力概念模型 2  1.1.3  基于能力的需求開發(fā) 4 1.2  需求建模方法 6  1.2.1  傳統(tǒng)的建模方法 6  1.2.2  基于SysML的建模 9  1.2.3  可執(zhí)行建模 16  1.2.4  建模方法比較 22 1.3  模型仿真方法 23  1.3.1  基于Petri網(wǎng)的仿真方法 23  1.3.2  基于DEVS的仿真方法 26  1.3.3  其他模型仿真方法 26 1.4  建模與仿真工具 27  1.4.1  TAU G2 27  1.4.2  Rhapsody 28  1.4.3  ExtendSim 28  1.4.4  System Architect 29  1.4.5  Computer-Aided Prototype System 29  1.4.6  其他工具 29 第2章  能力需求的可執(zhí)行建?？蚣?30 2.1  可執(zhí)行建?？蚣?30  2.1.1  多視圖可執(zhí)行建?？蚣?30  2.1.2  目標(biāo)視圖 32  2.1.3  業(yè)務(wù)視圖 33  2.1.4  系統(tǒng)視圖 34  2.1.5  能力視圖 35  2.1.6  四視圖之間的關(guān)系 36 2.2  能力視圖建模 37  2.2.1  基于能力需求分析的仿真過程 37  2.2.2  能力概念元模型的擴(kuò)展 39  2.2.3  能力需求建模語言的擴(kuò)展 41 2.3  可執(zhí)行能力需求模型開發(fā)及仿真過程 43 第3章  基于SysML的能力需求建模 47 3.1  SysML對能力需求建模的支持 47  3.1.1  MDA與復(fù)雜系統(tǒng)能力建模 47  3.1.2  SysML對能力需求靜態(tài)建模的支持 48  3.1.3  SysML對能力需求動態(tài)建模的支持 53 3.2  能力需求描述語言的語法及語義 55  3.2.1  CRDLS抽象語法 56  3.2.2  CRDLS表面語法 59  3.2.3  CRDLS語義 61 3.3  基于CRDLS的能力需求建模方法 67  3.3.1  基于RD的目標(biāo)需求分析 68  3.3.2  基于AD的動態(tài)行為建模 70  3.3.3  基于BD的靜態(tài)結(jié)構(gòu)建模 71 第4章  能力需求模型的可執(zhí)行語義 77 4.1  動作語義的基本概念 77  4.1.1  UML動作語義 77  4.1.2  動作語義規(guī)約語言 78 4.2  可執(zhí)行動作語義元模型 79 4.3  可執(zhí)行動作語義的抽象語法 80  4.3.1  讀寫動作 82  4.3.2  復(fù)合動作 86  4.3.3  計算動作 87  4.3.4  集合動作 88  4.3.5  調(diào)用活動動作 89 4.4  可執(zhí)行動作語義的表面語法 89 4.5  可執(zhí)行動作語義的實現(xiàn)機(jī)制 92 第5章  能力需求模型的仿真評估 95 5.1  能力需求模型的仿真機(jī)理 95 5.2  能力需求模型的形式化 97  5.2.1  應(yīng)用活動圖模型 98  5.2.2  能力需求模型的BNF文法描述 99  5.2.3  基于XML的能力需求模型 102 5.3  需求模型到仿真模型的轉(zhuǎn)換 105  5.3.1  AADM的擴(kuò)展 105  5.3.2  AADM到仿真模型的映射算法 106  5.3.3  算法分析 108 5.4  模型仿真執(zhí)行機(jī)理 109 5.5  能力的效能評估 111  5.5.1  能力指標(biāo)分析方法 111  5.5.2  能力的驗證與評估 114 第6章  能力需求模型的可執(zhí)行仿真工具 117 6.1  仿真工具的需求分析 117  6.1.1  仿真工具的設(shè)計需求 117  6.1.2  構(gòu)建仿真虛擬平臺框架 118 6.2  仿真工具的總體設(shè)計 119  6.2.1  體系結(jié)構(gòu)設(shè)計 119  6.2.2  工具的開發(fā)環(huán)境 120 6.3  各模塊的設(shè)計與實現(xiàn) 122  6.3.1  展現(xiàn)層 122  6.3.2  業(yè)務(wù)邏輯層 124  6.3.3  資源層 129 參考文獻(xiàn) 134