您当前所在位置: 首页 > 学者

刘珩

  • 6浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 548下载

  • 0评论

  • 引用

期刊论文

A Protocol Modeling Method: from ESTELLE Formal Description to OPNET Simulation Model

刘珩Liu Heng Li Guoqing Liu yantao

,-0001,():

URL:

摘要/描述

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秒,版权归本人所有。

我要评论

全部评论 0

本学者其他成果

    同领域成果