基于SDL语言的移动Ad-hoc网路由协议的设计和验证  

Design and Verification of a Routing Protocol for Mobile Ad-hoc Network Based on SDL

作　　者：潘红艳[1] 于全 

机构地区：[1]中国科学技术大学研究生院 [2]中国电子设备系统工程公司研究所

出　　处：《计算机科学》2004年第3期31-33,共3页Computer Science

摘　　要：论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法。This paper briefly reveals the basic concept of SDL and advantages to develop communication protocol softwares using SDL,and gives an application instance of designing and verifing routing protocols based on SDL in developing mobile Ad-hoc network routing protocol. It provides an effective method for communication protocol designing and verifing.

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

分 类 号：TN929.5[电子电信—通信与信息系统] TP393[电子电信—信息与通信工程]