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.
???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 SizeFormat 
OLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992..pdfOlival de Gusmão Freitas Júnior - Dissertação PPGCC 1992.14.34 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.