From E-LOTOS To GE-LOTOS's Automatic Conversion Tools And Graphical E-LOTOS's Actuator Of The Design And Implementation

Protocol is the lifeline of computer network. Along with the constant development of the network, protocol has new characters: spacial distribution, concurrency, asynchrony, instability and diversity. This makes no longer able to rely on intuition to design high-quality protocol and do protocol testing. To solve this problem, has raised a new discipline: protocol engineering. Protocol Engineering strictly applies formal methods, techniques and languages to design maintain and test protocol. Formal Description Technology not only has a very important position in Protocol Engineering, and also plays an important role in the protocol testing, has become a hot spot.As one of the major Formal Description Technologies, used in protocol testing, E-LOTOS is the enhanced version of LOTOS. Graphic E-LOTOS (GE-LOTOS) is the graphic representation form of E-LOTOS. Graphical E-LOTOS use intuitionistic visualized means to descript protocol. On the basis of depth study of E-LOTOS, this thesis revises and expands the original GE-LOTOS and gives out a set of complete graphical representation, by study the existing graphic representation form of E-LOTOS. Raised automatic conversion design thoughts about from the text of the E-LOTOS to GE-LOTOS, and realized the universal conversion tools. Furthermore design the Graphical E-LOTOS actuator with good universal. And in the application of design uses the BGP - 4 as an example.