基本信息
作 者:宋茂強 著 叢 書 名:出 版 社:北京郵電大學出版社ISBN:9787563516087出版時間:2008-02-01 版 次:2 頁 數:239 裝 幀:平裝 開 本:16開 所屬分類:圖書 > 計算機與網際網路 > 軟體工程及軟體方法學
內容簡介
本書針對通信軟體和通信協定的特點,從通信協定的分析、設計和描述人手,系統地介紹了兩種適用於通信軟體需求分析階段和設計階段的形式化描述語言,即訊息跟蹤語言MSC和規範說明和描述語言SDL,重點介紹了在電信領域得到廣泛套用的SDL語言,並以設計一個微型交換機軟體和一個簡單通信協定為例,說明如何運用這些形式化語言進行通信軟體的需求分析、概要設計和詳細設計以及通信協定的分析設計。
目錄
第1章 緒論
1.1 通信與通信協定
1.2 通信軟體的概念及特點
1.3 通信軟體開發過程
1.3.1 需求分析
1.3.2 概要設計
1.3.3 詳細設計
1.4 通信協定開發過程
思考題
第2章 協定分析技術
2.1 協定環境分析
2.1.1 用戶要求
2.1.2 通道性質
2.1.3 工作模式
2.2 協定功能分析
2.2.1 連線控制管理
2.2.2 通信方式管理
2.2.3 數據傳送/接收管理
2.2.4 數據安全與完整性
2.2.5 傳送/接收控制
2.2.6 中繼
2.2.7 路由選擇
2.2.8 通道管理
2.2.9 其他功能
思考題
第3章 協定設計技術
3.1 協定結構設計
3.2 協定機制設計
3.2.1 連線控制管理
3.2.2 重發控制
3.3 協定元素設計
3.3.1 服務原語和服務原語時序
3.3.2 PDU格式和PDU交換時序
3.3.3 協定狀態
3.3.4 協定事件
3.3.5 協定變數
3.3.6 協定動作和謂詞
3.4 協定狀態機
3.4.1 事件狀態表
3.4.2 有限狀態機
思考題
第4章 協定描述技術
4.1 MSC概述
4.1.1 MSC的特點
4.1.2 MSC的實體類型
4.1.3 定義圖形文法的符號說明
4.2 MSC基礎
4.2.1 MSC圖
4.2.2 實例
4.2.3 訊息
4.2.4 條件
4.2.5 定時器
4.2.6 動作
4.2.7 進程創建
4.2.8 進程終止
4.2.9 方法調用與回復
4.2.10 環境與通道
4.3 MSC結構概念
4.3.1 並發
4.3.2 MSC引用
4.3.3 線內表達式
4.4 高級MSC概念
4.5 MSC文檔
4.6 MSC套用舉例
4.6.1 硬體結構與工作原理
4.6.2 需求分析
4.6.3 軟體結構設計
4.6.4 訊息定義
4.6.5 訊息互動圖
思考題
第5章 規範說明和描述語言S9L
5.1 系統行為
5.2 SDL系統結構
5.3 SDL語法
5.3.1 包
5.3.2 系統
5.3.3 功能塊
5.3.4 進程
5.3.5 過程
5.3.6 遠端過程
5.3.7 信號與信道
5.4 系統行為描述
5.4.1 開始域
5.4.2 狀態域
5.4.3 觸發事件
5.4.4 保存域
5.4.5 輸出域
5.4.6 創建進程實例
5.4.7 任務域
5.4.8 過程調用
5.4.9 分支域
5.4.10 連線域
5.4.11 圖形符號連線關係
5.5 定時操作
5.6 正文擴展與注釋
5.7 數據定義
5.7.1 預定義數據類型
5.7.2 定義新的數據類型
5.7.3 定義同義類型和同義詞
5.7.4 變數定義與使用
5.7.5 遠端變數
5.8 面向對象的概念
5.8.1 進程類
5.8.2 功能塊類
5.8.3 系統類
5.8.4 上下文參數
5.8.5 類的特殊處理
思考題
第6章 集成開發工具簡介
6.1 Telelogic TAU功能簡介
6.2 SDL Suite使用方法簡介
6.2.1 Organizer界面
6.2.2 MSC編輯器使用方法簡介
6.2.3 SDL編輯器使用方法簡介
6.2.4 Simulator UI
6.2.5 Validator UI
思考題
第7章 電信軟體設計舉例
7.1 包定義
7.2 系統圖設計
7.3 功能塊設計
7.3.1 設計思路
7.3.2 功能塊圖
7.4 進程設計
7.4.1 管理進程設計
7.4.2 主叫進程設計
7.4.3 被叫進程設計
7.5 仿真驗證
7.5.1 仿真運行
7.5.2 驗證
思考題
第8章 通信協定設計舉例
8.1 DSRC協定簡介
8.2 DSRC協定分析
8.2.1 用戶要求
8.2.2 通道性質
8.2.3 DSRC協定工作模式
8.2.4 協定功能分析
8.3 DSRC協定設計
8.3.1 協定結構設計
8.3.2 協定機制設計
8.3.3 協定元素設計
8.4 協定描述
8.4.1 系統命名規則
8.4.2 DSRC協定系統圖
8.4.3 DSRC協定模組圖
8.4.4 DSRC協定進程圖
8.5 協定仿真與驗證
8.5.1 模組級別的仿真
8.5.2 一對一仿真模式
8.5.3 RSU獨立仿真模式
8.5.4 協定驗證
思考題