协议形式描述语言Estelle的交互生成方法

An Interactive Generating Method for Protocol Formal Description Language Estelle

摘要: 形式描述是协议工程的基础。本文提出一种支持国际标准形式描述语言Estelle 描述生成的交互式生成方法。协议文本可划分为用有限状态自动机(FSM)描述的协议功能部分和用自然语言描述的动作部分。该方法把FSM 描述自动变换成Estelle 描述,把动作描述由自然语言交互地变换成Estelle 描述后,再组合得到完整的Estelle 描述。

Abstract: This paper proposes an interactive method of translation from FSM description into Estelle specification.The protocol text is divided into two parts:One is the state transitions described in FSM and the other is the description of details in natural language.The part of description in FMS is translated into Estelle specification automatically,and the part of description in natural language can b■ interactively translated into Estelle specification.