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

定　價(jià)：￥49.00

作　者：	朱衛(wèi)星
出版社：	北京交通大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥33.80)

ISBN：	9787512146242	出版時(shí)間：	2022-06-01	包裝：	平裝-膠訂
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　本書針對復(fù)雜信息系統(tǒng)能力需求，主要定位于軟件領(lǐng)域的需求工程和系統(tǒng)工程領(lǐng)域的建模仿真方法，具有一定的專業(yè)性和針對性。本書所介紹的建模與仿真方法，只限定于系統(tǒng)能力需求模型，包括能力需求的相關(guān)概念，多視圖體系結(jié)構(gòu)框架，并對該方法所涉及的系統(tǒng)建模語言SysML、BNF規(guī)范、動(dòng)作語義等進(jìn)行簡單描述，對于這些語言工具具體的內(nèi)容未作詳細(xì)介紹，讀者可參見相關(guān)專業(yè)書籍。本書重點(diǎn)關(guān)注能力需求的可執(zhí)行建模方法，通過在能力需求模型中添加動(dòng)作語義，實(shí)現(xiàn)了能力需求模型的可執(zhí)行仿真，最后通過配套的可執(zhí)行仿真評估工具的介紹，為讀者更加直觀了解該方法的可操作性和可用性提供參考。

作者簡介

暫缺《復(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對能力需求動(dòng)態(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的動(dòng)態(tài)行為建模 70 3.3.3 基于BD的靜態(tài)結(jié)構(gòu)建模 71 第4章能力需求模型的可執(zhí)行語義 77 4.1 動(dòng)作語義的基本概念 77 4.1.1 UML動(dòng)作語義 77 4.1.2 動(dòng)作語義規(guī)約語言 78 4.2 可執(zhí)行動(dòng)作語義元模型 79 4.3 可執(zhí)行動(dòng)作語義的抽象語法 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)作語義的表面語法 89 4.5 可執(zhí)行動(dòng)作語義的實(shí)現(xiàn)機(jī)制 92 第5章能力需求模型的仿真評估 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 能力的效能評估 111 5.5.1 能力指標(biāo)分析方法 111 5.5.2 能力的驗(yàn)證與評估 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 工具的開發(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