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