摘要： 论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点，并给出在移动Ad—hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例，为通信协议的设计和验证提供了一种有效的方法。

关键词: 移动Ad-hoc网路 路由协议 设计 验证 通信协议软件 SDL语言 计算机网络