注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書科學(xué)技術(shù)計算機/網(wǎng)絡(luò)軟件與程序設(shè)計其他編程語言/工具復(fù)雜信息系統(tǒng)能力需求可執(zhí)行建模與仿真

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

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

定 價:¥49.00

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

ISBN: 9787512146242 出版時間: 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ī)范、動作語義等進行簡單描述,對于這些語言工具具體的內(nèi)容未作詳細介紹,讀者可參見相關(guān)專業(yè)書籍。本書重點關(guān)注能力需求的可執(zhí)行建模方法,通過在能力需求模型中添加動作語義,實現(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  能力概念元模型的擴展 39  2.2.3  能力需求建模語言的擴展 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)機制 92 第5章  能力需求模型的仿真評估 95 5.1  能力需求模型的仿真機理 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的擴展 105  5.3.2  AADM到仿真模型的映射算法 106  5.3.3  算法分析 108 5.4  模型仿真執(zhí)行機理 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 參考文獻 134

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號