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

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

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

定 價(jià):¥49.00

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

購(gòu)買這本書可以去


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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《復(fù)雜信息系統(tǒng)能力需求可執(zhí)行建模與仿真》作者簡(jiǎn)介

圖書目錄

第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  基于能力需求分析的仿真過(guò)程 37  2.2.2  能力概念元模型的擴(kuò)展 39  2.2.3  能力需求建模語(yǔ)言的擴(kuò)展 41 2.3  可執(zhí)行能力需求模型開發(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  工具的開發(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

本目錄推薦

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