Uma ferramenta para validação de protocolos de comunicação.
| Ano de defesa: | 1992 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
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 |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | 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 |
UCB-2_4510036e004bf4f27059ea68d7c719b1 |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/2490 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| 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:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-15T12:39:25Zoai:localhost:riufcg/2490Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-15T12:39:25Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)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:Repositório Institucional da UCB instname:Universidade Católica de Brasília (UCB) instacron:UCB |
| instname_str |
Universidade Católica de Brasília (UCB) |
| instacron_str |
UCB |
| institution |
UCB |
| reponame_str |
Repositório Institucional da UCB |
| collection |
Repositório Institucional da UCB |
| repository.name.fl_str_mv |
Repositório Institucional da UCB - Universidade Católica de Brasília (UCB) |
| repository.mail.fl_str_mv |
sara.ribeiro@ucb.br |
| _version_ |
1834013145040945152 |