An Interactive Generating Method for Protocol Formal Description Language Estelle

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.