摘要
协议形式化描述工具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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第4期743-746,共4页
Acta Electronica Sinica
关键词
协议建模
形式描述
有限状态机
protocol modeling
specification description
FSM
