| 基于SDL语言的移动Ad-hoc网路由协议的设计和验证 |
| |
| 引用本文： | 潘红艳,于全.基于SDL语言的移动Ad-hoc网路由协议的设计和验证[J].计算机科学,2004,31(3):31-33. |
| |
| 作者姓名： | 潘红艳 于全 |
| |
| 作者单位： | 1. 中国科学技术大学研究生院,北京,100039;中国电子设备系统工程公司研究所,北京,100039
2. 中国电子设备系统工程公司研究所,北京,100039 |
| |
| 摘 要： | 论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点，并给出在移动Ad—hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例，为通信协议的设计和验证提供了一种有效的方法。
|
| 关 键 词： | 移动Ad-hoc网路 路由协议 设计 验证 通信协议软件 SDL语言 计算机网络 |
Design and Verification of a Routing Protocol for Mobile Ad-hoc Network Based on SDL |
| |
| PAN Hong-Yan YU Quan.Design and Verification of a Routing Protocol for Mobile Ad-hoc Network Based on SDL[J].Computer Science,2004,31(3):31-33. |
| |
| Authors: | PAN Hong-Yan YU Quan |
| |
| Abstract: | 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. |
| |
| Keywords: | SDL Mobile Ad-hoc network Design Verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
