Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490| Title: | Uma ferramenta para validação de protocolos de comunicação. |
| Other Titles: | A tool for validation of communication protocols. |
| ???metadata.dc.creator???: | FREITAS JÚNIOR, Olival de Gusmão. |
| ???metadata.dc.contributor.advisor1???: | SOUZA, Wanderley Lopes de. |
| ???metadata.dc.contributor.referee1???: | MARTINS, Joberto Sergio Barbosa. |
| ???metadata.dc.contributor.referee2???: | SOUZA, José Neuman de. |
| Keywords: | Protocolos de comunicação;Matriz duologue;Validação de protocolos de comunicação;Validação da Matriz Duologue;Validação de protocolos formais;Unilogues;Protocolo X.25 do CCITT;Communication protocols;Validation of communication protocols;Matrix duologue |
| Issue Date: | Apr-1992 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | FREITAS JÚNIOR, Olival de Gusmão. Uma ferramenta para validação de protocolos de comunicação. 1992. 86f. (Dissertação de Mestrado em Informática), curso de Mestrado 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/2490 |
| ???metadata.dc.description.resumo???: | Este trabalho apresenta uma ferramenta, baseada na técnica Matriz Duologue, para a validação de protocolos de comunicação. Essa ferramenta auxilia o projetista, na fase inicial de design do protocolo, a identificar e corrigir erros básicos, de forma interativa e amigável. Para ilustrar essa técnica e demonstrar a utilidade dessa ferramenta, uma versão simplificada do protocolo X.25 do CCITT é especificada, analisada e validada. |
| Abstract: | This work presents a t o o l , based on the Duologue Matriz technique, for the validation of communication protocols. This tool helps the designer, in the initial phase of the protocol design, to identify and to correct basic errors in a interative and friendly way. To ilustrate this technique and to demonstrate the importance of this t o o l , a simplified version of the CCITT (Consultative Committee for International Telegraph and Telephone) X.25 protocol is specified, analysed and validated. |
| Keywords: | Protocolos de comunicação Matriz duologue Validação de protocolos de comunicação Validação da Matriz Duologue Validação de protocolos formais Unilogues Protocolo X.25 do CCITT Communication protocols Validation of communication protocols Matrix duologue |
| ???metadata.dc.subject.cnpq???: | Ciência da Computação. |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| OLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992.pdf | Olival de Gusmão Freitas Júnior - Dissertação PPGCC 1992. | 14.4 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.