Uma ferramenta para validação de protocolos de comunicação.

Detalhes bibliográficos
Autor(a) principal: FREITAS JÚNIOR, Olival de Gusmão.
Data de Publicação: 1992
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490
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.
id UFCG_4510036e004bf4f27059ea68d7c719b1
oai_identifier_str oai:localhost:riufcg/2490
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Uma ferramenta para validação de protocolos de comunicação.A tool for validation of communication protocols.Protocolos de comunicaçãoMatriz duologueValidação de protocolos de comunicaçãoValidação da Matriz DuologueValidação de protocolos formaisUniloguesProtocolo X.25 do CCITTCommunication protocolsValidation of communication protocolsMatrix duologueCiência da Computação.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.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGSOUZA, Wanderley Lopes de.SOUZA, W. L de.http://lattes.cnpq.br/3742302894743620MARTINS, Joberto Sergio Barbosa.http://lattes.cnpq.br/8321013081371965SOUZA, José Neuman de.http://lattes.cnpq.br/3614256141054800FREITAS JÚNIOR, Olival de Gusmão.1992-042019-01-10T09:54:43Z2019-01-102019-01-10T09:54:43Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490FREITAS 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/2490porFREITAS JÚNIOR, Olival de Gusmão. Uma Ferramenta para validação de protocolos de comunicação. 86f. 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.info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-15T12:39:25Zoai:localhost:riufcg/2490Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-15T12:39:25Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Uma ferramenta para validação de protocolos de comunicação.
A tool for validation of communication protocols.
title Uma ferramenta para validação de protocolos de comunicação.
spellingShingle Uma ferramenta para validação de protocolos de comunicação.
FREITAS JÚNIOR, Olival de Gusmão.
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
Ciência da Computação.
title_short Uma ferramenta para validação de protocolos de comunicação.
title_full Uma ferramenta para validação de protocolos de comunicação.
title_fullStr Uma ferramenta para validação de protocolos de comunicação.
title_full_unstemmed Uma ferramenta para validação de protocolos de comunicação.
title_sort Uma ferramenta para validação de protocolos de comunicação.
author FREITAS JÚNIOR, Olival de Gusmão.
author_facet FREITAS JÚNIOR, Olival de Gusmão.
author_role author
dc.contributor.none.fl_str_mv SOUZA, Wanderley Lopes de.
SOUZA, W. L de.
http://lattes.cnpq.br/3742302894743620
MARTINS, Joberto Sergio Barbosa.
http://lattes.cnpq.br/8321013081371965
SOUZA, José Neuman de.
http://lattes.cnpq.br/3614256141054800
dc.contributor.author.fl_str_mv FREITAS JÚNIOR, Olival de Gusmão.
dc.subject.por.fl_str_mv 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
Ciência da Computação.
topic 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
Ciência da Computação.
description 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.
publishDate 1992
dc.date.none.fl_str_mv 1992-04
2019-01-10T09:54:43Z
2019-01-10
2019-01-10T09:54:43Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490
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
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2490
identifier_str_mv 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
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv FREITAS JÚNIOR, Olival de Gusmão. Uma Ferramenta para validação de protocolos de comunicação. 86f. 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.
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744364483641344

Registros relacionados