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

Detalhes bibliográficos
Ano de defesa: 1992
Autor(a) principal: FREITAS JÚNIOR, Olival de Gusmão. lattes
Orientador(a): SOUZA, Wanderley Lopes de. lattes
Banca de defesa: MARTINS, Joberto Sergio Barbosa. lattes, SOUZA, José Neuman de. lattes
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
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
Área do conhecimento CNPq:
Ciência da Computação.
Link de acesso: https://dspace.sti.ufcg.edu.br/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_820c7c48cdc2e79b5959bfe696ea9c12
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/2490
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling SOUZA, 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, O. G.http://lattes.cnpq.br/1878932894256747FREITAS JÚNIOR, Olival de Gusmã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.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-01-10T09:54:43Z No. of bitstreams: 1 OLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992..pdf: 14679385 bytes, checksum: 0a72f289fe5c2755b935195e3ebd38d0 (MD5)Made available in DSpace on 2019-01-10T09:54:43Z (GMT). No. of bitstreams: 1 OLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992..pdf: 14679385 bytes, checksum: 0a72f289fe5c2755b935195e3ebd38d0 (MD5) Previous issue date: 1992-04Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da Computação.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 duologueUma ferramenta para validação de protocolos de comunicação.A tool for validation of communication protocols.1992-042019-01-10T09:54:43Z2019-01-102019-01-10T09:54:43Zhttps://dspace.sti.ufcg.edu.br/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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2490info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporFREITAS 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:UFCGTEXTOLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992.pdf.txtOLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992.pdf.txttext/plain144164https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2490/4/OLIVAL+DE+GUSM%C3%83O+FREITAS+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf.txt31cd980283a68724fa0fa2542871a65aMD54ORIGINALOLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992.pdfOLIVAL DE GUSMÃO FREITAS JÚNIOR - DISSERTAÇÃO PPGCC 1992.pdfapplication/pdf14745804https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2490/3/OLIVAL+DE+GUSM%C3%83O+FREITAS+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdff9c7beab6070f729af6c12b520a5bd87MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2490/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/24902025-07-24 03:39:15.53oai:dspace.sti.ufcg.edu.br:riufcg/2490Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca 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:48512025-07-24T06:39:15Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Uma ferramenta para validação de protocolos de comunicação.
dc.title.alternative.pt_BR.fl_str_mv 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.
Ciência da Computaçã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
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.advisor1.fl_str_mv SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID.fl_str_mv SOUZA, W. L de.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3742302894743620
dc.contributor.referee1.fl_str_mv MARTINS, Joberto Sergio Barbosa.
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/8321013081371965
dc.contributor.referee2.fl_str_mv SOUZA, José Neuman de.
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/3614256141054800
dc.contributor.authorID.fl_str_mv FREITAS JÚNIOR, O. G.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1878932894256747
dc.contributor.author.fl_str_mv FREITAS JÚNIOR, Olival de Gusmão.
contributor_str_mv SOUZA, Wanderley Lopes de.
MARTINS, Joberto Sergio Barbosa.
SOUZA, José Neuman de.
dc.subject.cnpq.fl_str_mv Ciência da Computação.
topic Ciência da Computaçã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
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
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.issued.fl_str_mv 1992-04
dc.date.accessioned.fl_str_mv 2019-01-10T09:54:43Z
dc.date.available.fl_str_mv 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 https://dspace.sti.ufcg.edu.br/handle/riufcg/2490
dc.identifier.citation.fl_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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2490
url https://dspace.sti.ufcg.edu.br/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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2490
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.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
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
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
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2490/4/OLIVAL+DE+GUSM%C3%83O+FREITAS+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2490/3/OLIVAL+DE+GUSM%C3%83O+FREITAS+J%C3%9ANIOR+-+DISSERTA%C3%87%C3%83O+PPGCC+1992.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2490/2/license.txt
bitstream.checksum.fl_str_mv 31cd980283a68724fa0fa2542871a65a
f9c7beab6070f729af6c12b520a5bd87
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
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_ 1863363403350802432

Registros relacionados