|
|||||
|
|
| 基于ESTELLE的网络协议建模方法 | |
| 引用本文： | 李国庆,安建平,杨杰.基于ESTELLE的网络协议建模方法[J].电子学报,2007,35(4):743-746. |
| 作者姓名： | 李国庆 安建平 杨杰 |
| 作者单位： | 大唐移动通信设备有限公司,北京,100083;北京理工大学,北京,100081 |
| 摘 要： | 协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C协议进行建模. |
| 关 键 词： | 协议建模 形式描述 有限状态机 |
| 文章编号： | 0372-2112（2007）04-0743-04 |
| 收稿时间： | 2004-12-31 |
| 修稿时间： | 2004-12-312007-02-06 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《电子学报》浏览原始摘要信息 | |
| 点击此处可从《电子学报》下载全文 | |
