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

第1章  緒論 1 1.1  能力需求的基本概念 1  1.1.1  能力 1  1.1.2  能力概念模型 2  1.1.3  基于能力的需求開(kāi)發(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  基于能力需求分析的仿真過(guò)程 37  2.2.2  能力概念元模型的擴(kuò)展 39  2.2.3  能力需求建模語(yǔ)言的擴(kuò)展 41 2.3  可執(zhí)行能力需求模型開(kāi)發(fā)及仿真過(guò)程 43 第3章  基于SysML的能力需求建模 47 3.1  SysML對(duì)能力需求建模的支持 47  3.1.1  MDA與復(fù)雜系統(tǒng)能力建模 47  3.1.2  SysML對(duì)能力需求靜態(tài)建模的支持 48  3.1.3  SysML對(duì)能力需求動(dòng)態(tài)建模的支持 53 3.2  能力需求描述語(yǔ)言的語(yǔ)法及語(yǔ)義 55  3.2.1  CRDLS抽象語(yǔ)法 56  3.2.2  CRDLS表面語(yǔ)法 59  3.2.3  CRDLS語(yǔ)義 61 3.3  基于CRDLS的能力需求建模方法 67  3.3.1  基于RD的目標(biāo)需求分析 68  3.3.2  基于AD的動(dòng)態(tài)行為建模 70  3.3.3  基于BD的靜態(tài)結(jié)構(gòu)建模 71 第4章  能力需求模型的可執(zhí)行語(yǔ)義 77 4.1  動(dòng)作語(yǔ)義的基本概念 77  4.1.1  UML動(dòng)作語(yǔ)義 77  4.1.2  動(dòng)作語(yǔ)義規(guī)約語(yǔ)言 78 4.2  可執(zhí)行動(dòng)作語(yǔ)義元模型 79 4.3  可執(zhí)行動(dòng)作語(yǔ)義的抽象語(yǔ)法 80  4.3.1  讀寫動(dòng)作 82  4.3.2  復(fù)合動(dòng)作 86  4.3.3  計(jì)算動(dòng)作 87  4.3.4  集合動(dòng)作 88  4.3.5  調(diào)用活動(dòng)動(dòng)作 89 4.4  可執(zhí)行動(dòng)作語(yǔ)義的表面語(yǔ)法 89 4.5  可執(zhí)行動(dòng)作語(yǔ)義的實(shí)現(xiàn)機(jī)制 92 第5章  能力需求模型的仿真評(píng)估 95 5.1  能力需求模型的仿真機(jī)理 95 5.2  能力需求模型的形式化 97  5.2.1  應(yīng)用活動(dò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  能力的效能評(píng)估 111  5.5.1  能力指標(biāo)分析方法 111  5.5.2  能力的驗(yàn)證與評(píng)估 114 第6章  能力需求模型的可執(zhí)行仿真工具 117 6.1  仿真工具的需求分析 117  6.1.1  仿真工具的設(shè)計(jì)需求 117  6.1.2  構(gòu)建仿真虛擬平臺(tái)框架 118 6.2  仿真工具的總體設(shè)計(jì) 119  6.2.1  體系結(jié)構(gòu)設(shè)計(jì) 119  6.2.2  工具的開(kāi)發(fā)環(huán)境 120 6.3  各模塊的設(shè)計(jì)與實(shí)現(xiàn) 122  6.3.1  展現(xiàn)層 122  6.3.2  業(yè)務(wù)邏輯層 124  6.3.3  資源層 129 參考文獻(xiàn) 134