Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476| Title: | Uma metodologia para implementação semiautomática de protocolos de comunicação. |
| Other Titles: | A methodology for semi-automatic implementation of communication protocols. |
| ???metadata.dc.creator???: | LIN, Chen Wen. |
| ???metadata.dc.contributor.advisor1???: | SOUZA, Wanderley Lopes de. |
| ???metadata.dc.contributor.referee1???: | MARTINS, Joberto Sergio Barbosa. |
| ???metadata.dc.contributor.referee2???: | MENDES, Manoel de Jesus. |
| Keywords: | Protocolos de Comunicação;Derivações Ssemiautomáticas de Protocolos de Comunicação;Protocolos - Implementação Semiautomática;Linguagem de Programação C;Open Systems Interconnection - OSI;Communication Protocols;Protocols - Semiautomatic Implementation |
| Issue Date: | Aug-1992 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | LIN, C. W. Uma metodologia para implementação semiautomática de protocolos de comunicação. 163 f.1992. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1992. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476 |
| ???metadata.dc.description.resumo???: | Este trabalho apresenta uma metodologia para a derivação semi-automática de implementações de protocolos de comunicação especificados na Técnica de Descrição Formal (TDF) "Extended State transition language ( Estelle ) ". As principais etapas dessa metodologia são: especificação formal do protocolo , validação da especificação, geração do código de implementação e complementação do código de implementação. A implementação, gerada na linguagem de programação C, é obtida utilizando - se o conjunto integrado de ferramentas " Estelle Workstation (EWS)". Essa metodologia é aplicada ao Protocolo de Transporte classe 2 do modelo de referência "Open Systems Int erconnection (OSI)". |
| 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. |
| Keywords: | Protocolos de Comunicação Derivações Ssemiautomáticas de Protocolos de Comunicação Protocolos - Implementação Semiautomática Linguagem de Programação C Open Systems Interconnection - OSI Communication Protocols Protocols - Semiautomatic Implementation |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2476 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| CHEN WEN LIN - DISSERTAÇÃO PPGCC 1992.pdf | Chen Wen Lin - Dissertação PPGCC 1992. | 25.41 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.