本书针对通信软件和通信协议的特点，从通信协议的分析、设计和描述人手，系统地介绍了两种适用于通信软件需求分析阶段和设计阶段的形式化描述语言，即消息跟踪语言MSC和规范说明和描述语言SDL，重点介绍了在电信领域得到广泛应用的SDL语言，并以设计一个微型交换机软件和一个简单通信协议为例，说明如何运用这些形式化语言进行通信软件的需求分析、概要设计和详细设计以及通信协议的分析设计。
本书可作为计算机通信专业和软件工程（通信软件方向）专业高年级本科生和研究生的教材，也可供通信软件开发人员参考。