A Protocol Modeling Method: from ESTELLE Formal Description to OPNET Simulation Model
A protocol modeling method is proposed to establish the protocol's OPNET simulation model based on its ESTELLE formal description. We use processes tree in OPNET to implement the embedded module mechanism in ESTELLE, and convert ESTELLE module FSM (Finite State Machine) to OPNET process FSM. This conversion technique is illustrated by applying it to model a specific subset of the MIL-STD 188-220C protocol. Since ESTELLE is a kind of international standards about network protocol formal description language (FDL) proclaimed by ISO, our modeling method not only guarantees the concordance for each phase in protocol project, but also increases efficiency of protocol modeling.
版权说明：以下全部内容由刘珩上传于 2008年03月25日 11时19分23秒，版权归本人所有。