摘要：协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理，本文在此基础上，采用OPNET进程树机制实现LSTELLE模块嵌套结构，采用OPNET的进程建模方法实现LSTELLE中EFSM的建模，并利用这种方法对MILSTD188—220C协议进行建模．

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

单位：大唐移动通信设备有限公司; 北京100083; 北京理工大学; 北京100081