LIN. C.W.; http://lattes.cnpq.br/4205400757108096; LIN, Chen Wen.
Abstract:
This work presents a methodology for the derivation of semi-automatic implementations of communication protocols specified in the Formal Description Technique (FDT) Extended State transition language ( Estelle ). The main steps of this methodology are: formal specification of the protocol , validation of the specification , generation of the execution code and completion of the code. The output code,generated in the C programming language, is obtained by the use of EWS ( Estelle Workstation ) integrated tools. This methodology is applied to the Transport protocol Class 2 of the Open Systems interconnection (OSI) reference model.