基于ESTELLE的网络协议建模方法  

A Network Protocol Modeling Method Based on ESTELLE Specification Description

作　　者：李国庆 安建平[2] 杨杰[2] 

机构地区：[1]大唐移动通信设备有限公司,北京100083 [2]北京理工大学,北京100081

出　　处：《电子学报》2007年第4期743-746,共4页Acta Electronica Sinica

摘　　要：协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C协议进行建模.A method for establishing network protocol model in OPNET based on its ESTELLE description is proposed. The process tree structure in OPNET was used to realize the embedded modules structure in ESTELLE, and the EFSM in ESTELLE were modeled by process modeling mechanism in OPNET. As an example, the course of building MIL-STD 188-220C protocol simulation model with this method was introduced.

关 键 词：协议建模 形式描述 有限状态机 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]