%0 Journal Article
%T 基于ESTELLE的网络协议建模方法
%A 李国庆
%A 安建平
%A 杨杰
%J 电子学报
%P 743-746
%D 2007
%X 协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD188-220C协议进行建模.
%K 协议建模
%K 形式描述
%K 有限状态机
%U http://www.ejournal.org.cn/CN/abstract/abstract5780.shtml