本书针对通信软件的特点，介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言，包括通用建模语言UML、消息跟踪语言MSC和规格说明与描述语言SDL，重点介绍了在电信领域得到广泛应用的SDL语言。并以设计一个微型交换机软件为例，说明如何运用这些形式化语言进行通信软件的需求分析、概要设计和详细设计。
本书可作为计算机通信专业高年级本科生和研究生的教材，也可供通信软件开发人员参考。

第一章 概述

1.1 通信软件的特点
1.2 通信软件的开发过程
1.2.1 需求分析
1.2.2 概要设计
1.2.3 详细设计
1.3 通信软件开发工具简介
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 静态建模
2.3.2 动态建模
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 进程创建
3.2.8 进程终止
3.2.9 调用与回复
3.2.10 环境与通道
3.3 MSC文档
3.4 MSC结构概念
3.4.1 并发
3.4.2 MSC引用
3.4.3 线内表达式
3.4.4 高级MSC（HMSC）

第四章 SDL语言概述

4.1 系统行为
4.1.1 有限状态自动机
4.1.2 扩展有限状态自动机
4.1.3 可通信的扩展有限状态自动机
4.2 SDL系统结构
4.3 主要术语定义
4.4 SDL语法
4.5 关键字
思考题

第五章 SDL基本概念

5.1 定义包（package）
5.2 代理（agent）
5.2.1 系统
5.2.2 功能块
5.2.3 进程
5.2.4 过程
5.3 通信
5.3.1 信道
5.3.2 信号
5.4 状态机
5.4.1 开始域
5.4.2 状态
5.4.3 触发事件
5.4.4 自发输入
5.4.5 保存
5.5 迁移过程
5.5.1 输出
5.5.2 创建代理实例
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 系统类
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 通用系统设计
9.2.1 SDL中的选样域
9.2.2 可选迁移分支
思考题

附录

附录一 MSC文本文法

附录二 MSC图形文法总结

参考文献