通信软件设计基础（第2版）
出版时间：2008
内容简介
本书针对通信软件和通信协议特点，从通信协议的分析、设计和描述入手，系统的介绍了两种适用于通信软件需求分析结算和设计阶段的形势化描述语言，即消息跟踪语言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 协议验证
思考题
