出版時間:2001-10 出版社:北京郵電大學出版社 作者:宋茂強
Tag標簽:無
內容概要
本書針對通信軟件的特點,介紹了幾種適用于通信軟件需求分析階段和設計階段的形式化語言,包括通用建模語言UML、消息跟蹤語言MSC和規(guī)格說明與描述語言SDL,重點介紹了在電信領域得到廣泛應用的SDL語言。并以設計一個微型交換機軟件為例,說明如何運用這些形式化語言進行通信軟件的需求分析、概要設計和詳細設計。 本書可作為計算機通信專業(yè)高年級本科生和研究生的教材,也可供通信軟件開發(fā)人員參考。
書籍目錄
第一章 概述1.1 通信軟件的特點1.2 通信軟件的開發(fā)過程1.2.1 需求分析1.2.2 概要設計1.2.3 詳細設計1.3 通信軟件開發(fā)工具簡介1.3.1 概述1.3.2 需求分析工具1.3.3 設計和實現工具1.3.4 測試集設計與實現思考題第二章 UML與建模技術2.1 UML概述2.1.1 UML的定義及特點2.1.2 UML應用領域2.2 UML語言簡介2.2.1 語法表達式的約定2.2.2 視圖2.2.3 圖2.2.4 模型元素2.2.5 通用機制2.2.6 擴展機制2.3 UML建模技術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基礎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 調用與回復3.2.10 環(huán)境與通道3.3 MSC文檔3.4 MSC結構概念3.4.1 并發(fā)3.4.2 MSC引用3.4.3 線內表達式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)結構4.3 主要術語定義4.4 SDL語法4.5 關鍵字思考題第五章 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 任務5.5.4 過程調用5.5.5 分支操作5.5.6 連接5.5.7 圖形符號連接關系小結5.6 定時器操作5.7 正文擴展與注釋思考題第六章 SDL中的數據6.1 概述6.1.1 數據類6.1.2 數據類型6.1.3 操作6.1.4 數據項6.1.5 變量和表達式6.2 數據的定義6.2.1 預定義數據類6.2.2 預定義生成器6.2.3 數據類構造器6.2.4 定義新的數據類6.2.5 附加數據定義結構6.3 數據的使用6.3.1 變量的聲明6.3.2 遠端變量的概念6.3.3 表達式思考題第七章 設計舉例7.1 硬件結構及工作原理7.1.1 硬件結構7.1.2 工作原理7.2 需求分析7.2.1 用戶要求7.2.2 軟件結構7.2.3 消息定義7.2.4 消息交互圖7.3 概要設計7.3.1 軟件結構7.3.2 功能描述7.3.3 消息交互圖7.3.4 數據結構定義7.4 詳細設計7.4.1 功能塊設計7.4.2 管理進程設計7.4.3 主叫進程設計7.4.4 被叫進程設計思考題第八章 SDL中面向對象的概念8.1 概述8.2 類的定義8.2.1 代理類8.2.2 進程類8.2.3 功能塊類8.2.4 系統(tǒng)類8.3 上下文參數8.4 關于類的特殊處理8.4.1 子類中添加特性8.4.2 關于“Virtuality”思考題第九章 SDL其他概念9.1 遠端過程調用9.1.1 遠端過程定義9.1.2 遠端過程調用工作過程9.1.3 遠端過程舉例9.2 通用系統(tǒng)設計9.2.1 SDL中的選樣域9.2.2 可選遷移分支思考題附錄附錄一 MSC文本文法附錄二 MSC圖形文法總結參考文獻
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載