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

刘珩

  • 39浏览

  • 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

本学者其他成果

    同领域成果