出版時間:2001-10 出版社:北京郵電大學(xué)出版社 作者:宋茂強
Tag標(biāo)簽:無
內(nèi)容概要
本書針對通信軟件的特點,介紹了幾種適用于通信軟件需求分析階段和設(shè)計階段的形式化語言,包括通用建模語言UML、消息跟蹤語言MSC和規(guī)格說明與描述語言SDL,重點介紹了在電信領(lǐng)域得到廣泛應(yīng)用的SDL語言。并以設(shè)計一個微型交換機軟件為例,說明如何運用這些形式化語言進行通信軟件的需求分析、概要設(shè)計和詳細(xì)設(shè)計。 本書可作為計算機通信專業(yè)高年級本科生和研究生的教材,也可供通信軟件開發(fā)人員參考。
書籍目錄
第一章 概述1.1 通信軟件的特點1.2 通信軟件的開發(fā)過程1.2.1 需求分析1.2.2 概要設(shè)計1.2.3 詳細(xì)設(shè)計1.3 通信軟件開發(fā)工具簡介1.3.1 概述1.3.2 需求分析工具1.3.3 設(shè)計和實現(xiàn)工具1.3.4 測試集設(shè)計與實現(xiàn)思考題第二章 UML與建模技術(shù)2.1 UML概述2.1.1 UML的定義及特點2.1.2 UML應(yīng)用領(lǐng)域2.2 UML語言簡介2.2.1 語法表達式的約定2.2.2 視圖2.2.3 圖2.2.4 模型元素2.2.5 通用機制2.2.6 擴展機制2.3 UML建模技術(shù)2.3.1 靜態(tài)建模2.3.2 動態(tài)建模2.4 工具的支持思考題第三章 消息順序圖3.1 概述3.1.1 MSC的特點3.1.2 MSC的實體類型3.1.3 定義圖形文法的符號說明3.2 MSC基礎(chǔ)3.2.1 消息順序圖(MSC圖)3.2.2 實例3.2.3 消息3.2.4 條件3.2.5 定時器3.2.6 動作3.2.7 進程創(chuàng)建3.2.8 進程終止3.2.9 調(diào)用與回復(fù)3.2.10 環(huán)境與通道3.3 MSC文檔3.4 MSC結(jié)構(gòu)概念3.4.1 并發(fā)3.4.2 MSC引用3.4.3 線內(nèi)表達式3.4.4 高級MSC(HMSC)第四章 SDL語言概述4.1 系統(tǒng)行為4.1.1 有限狀態(tài)自動機4.1.2 擴展有限狀態(tài)自動機4.1.3 可通信的擴展有限狀態(tài)自動機4.2 SDL系統(tǒng)結(jié)構(gòu)4.3 主要術(shù)語定義4.4 SDL語法4.5 關(guān)鍵字思考題第五章 SDL基本概念5.1 定義包(package)5.2 代理(agent)5.2.1 系統(tǒng)5.2.2 功能塊5.2.3 進程5.2.4 過程5.3 通信5.3.1 信道5.3.2 信號5.4 狀態(tài)機5.4.1 開始域5.4.2 狀態(tài)5.4.3 觸發(fā)事件5.4.4 自發(fā)輸入5.4.5 保存5.5 遷移過程5.5.1 輸出5.5.2 創(chuàng)建代理實例5.5.3 任務(wù)5.5.4 過程調(diào)用5.5.5 分支操作5.5.6 連接5.5.7 圖形符號連接關(guān)系小結(jié)5.6 定時器操作5.7 正文擴展與注釋思考題第六章 SDL中的數(shù)據(jù)6.1 概述6.1.1 數(shù)據(jù)類6.1.2 數(shù)據(jù)類型6.1.3 操作6.1.4 數(shù)據(jù)項6.1.5 變量和表達式6.2 數(shù)據(jù)的定義6.2.1 預(yù)定義數(shù)據(jù)類6.2.2 預(yù)定義生成器6.2.3 數(shù)據(jù)類構(gòu)造器6.2.4 定義新的數(shù)據(jù)類6.2.5 附加數(shù)據(jù)定義結(jié)構(gòu)6.3 數(shù)據(jù)的使用6.3.1 變量的聲明6.3.2 遠(yuǎn)端變量的概念6.3.3 表達式思考題第七章 設(shè)計舉例7.1 硬件結(jié)構(gòu)及工作原理7.1.1 硬件結(jié)構(gòu)7.1.2 工作原理7.2 需求分析7.2.1 用戶要求7.2.2 軟件結(jié)構(gòu)7.2.3 消息定義7.2.4 消息交互圖7.3 概要設(shè)計7.3.1 軟件結(jié)構(gòu)7.3.2 功能描述7.3.3 消息交互圖7.3.4 數(shù)據(jù)結(jié)構(gòu)定義7.4 詳細(xì)設(shè)計7.4.1 功能塊設(shè)計7.4.2 管理進程設(shè)計7.4.3 主叫進程設(shè)計7.4.4 被叫進程設(shè)計思考題第八章 SDL中面向?qū)ο蟮母拍?.1 概述8.2 類的定義8.2.1 代理類8.2.2 進程類8.2.3 功能塊類8.2.4 系統(tǒng)類8.3 上下文參數(shù)8.4 關(guān)于類的特殊處理8.4.1 子類中添加特性8.4.2 關(guān)于“Virtuality”思考題第九章 SDL其他概念9.1 遠(yuǎn)端過程調(diào)用9.1.1 遠(yuǎn)端過程定義9.1.2 遠(yuǎn)端過程調(diào)用工作過程9.1.3 遠(yuǎn)端過程舉例9.2 通用系統(tǒng)設(shè)計9.2.1 SDL中的選樣域9.2.2 可選遷移分支思考題附錄附錄一 MSC文本文法附錄二 MSC圖形文法總結(jié)參考文獻
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載