Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.

Detalhes bibliográficos
Ano de defesa: 1990
Autor(a) principal: SOUZA, José Neuman de.
Orientador(a): SOUZA, Wanderley Lopes de. lattes
Banca de defesa: SILVA, Solon Benayon da., MARTINS, Joberto Sérgio Barbosa.
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
Metodologia de Validação - Informática
Protocolo Abracadabra
Serviço Abracadabra
Linguagem Estelle/83
Especificações Formais - Informática
Sistema Abraservice
Código Pascal das Rotinas de Suporte
Área do conhecimento CNPq:
Informática.
Ciência da Computação.
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/2435
Resumo: Nesse trabalho è proposta uma metodologia para validar, através de simulação, especificações formais de protocolos, realizadas com a técnica de descrição formal (TDF) "Extended State Transition Lançjuaçje (Estelle)", versão de 1983. Essa metodologia utiliza, como ferramenta, o compilador Estelle/83, desenvolvido junto ao Grupo de Redes de Computadores (GRC) da Universidade Federal da Paraíba (UFPB). A esse compilador é acrescentado um núcleo de simulação que permite o acompanhamento da execução do sistema especificado.
id UFCG_aea7793c49d9f228b8bdbc05bcf49c19
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/2435
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.http://lattes.cnpq.br/3742302894743620SILVA, Solon Benayon da.MARTINS, Joberto Sérgio Barbosa.SOUZA, J. N.SOUZA, José Neuman de.Nesse trabalho è proposta uma metodologia para validar, através de simulação, especificações formais de protocolos, realizadas com a técnica de descrição formal (TDF) "Extended State Transition Lançjuaçje (Estelle)", versão de 1983. Essa metodologia utiliza, como ferramenta, o compilador Estelle/83, desenvolvido junto ao Grupo de Redes de Computadores (GRC) da Universidade Federal da Paraíba (UFPB). A esse compilador é acrescentado um núcleo de simulação que permite o acompanhamento da execução do sistema especificado.This work presents a méthodologie for validation, by simulation, of protocol formal specifications described with the formal description technique (FDT ) Extended State Transition Language (Estelle), version 1983. This méthodologie uses the Estelle/83 compiler, developed by the Computer Networks Group (GRC ) of Paraiba University ( UFPb ). A simulation kernel is added to this compiler to observe the execution of the specified system.Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-12-21T20:50:25Z No. of bitstreams: 1 JOSÉ NEUMAM DE SOUZA - PPGCC 1990..pdf: 27229651 bytes, checksum: 3aa8338b67da952515146a557fe9baad (MD5)Made available in DSpace on 2018-12-21T20:50:25Z (GMT). No. of bitstreams: 1 JOSÉ NEUMAM DE SOUZA - PPGCC 1990..pdf: 27229651 bytes, checksum: 3aa8338b67da952515146a557fe9baad (MD5) Previous issue date: 1990-03-26CNPqCapesUniversidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIInformática.Ciência da Computação.Protocolos de ComunicaçãoMetodologia de Validação - InformáticaProtocolo AbracadabraServiço AbracadabraLinguagem Estelle/83Especificações Formais - InformáticaSistema AbraserviceCódigo Pascal das Rotinas de SuporteUma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.A methodologie for validation, by simulation of communication protocols specified formally.1990-03-262018-12-21T20:50:25Z2018-12-212018-12-21T20:50:25Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/2435SOUZA, José Neumam de. Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 1990. 221 f. (Dissertação de Mestrado em Informática), Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II - Campina Grande, Brasil, 1990. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2435info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTJOSÉ NEUMAM DE SOUZA - PPGCC 1990.pdf.txtJOSÉ NEUMAM DE SOUZA - PPGCC 1990.pdf.txttext/plain352556https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2435/4/JOS%C3%89+NEUMAM+DE+SOUZA+-+PPGCC+1990.pdf.txt0863ddcd20a5871693517457636a6f87MD54ORIGINALJOSÉ NEUMAM DE SOUZA - PPGCC 1990.pdfJOSÉ NEUMAM DE SOUZA - PPGCC 1990.pdfapplication/pdf30309278https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2435/3/JOS%C3%89+NEUMAM+DE+SOUZA+-+PPGCC+1990.pdf5eef1227e4143bf6561bd41bcc62305fMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2435/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/24352025-07-24 03:40:07.41oai:dspace.sti.ufcg.edu.br:riufcg/2435Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=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:40:07Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
dc.title.alternative.pt_BR.fl_str_mv A methodologie for validation, by simulation of communication protocols specified formally.
title Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
spellingShingle Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
SOUZA, José Neuman de.
Informática.
Ciência da Computação.
Protocolos de Comunicação
Metodologia de Validação - Informática
Protocolo Abracadabra
Serviço Abracadabra
Linguagem Estelle/83
Especificações Formais - Informática
Sistema Abraservice
Código Pascal das Rotinas de Suporte
title_short Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
title_full Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
title_fullStr Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
title_full_unstemmed Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
title_sort Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
author SOUZA, José Neuman de.
author_facet SOUZA, José Neuman de.
author_role author
dc.contributor.advisor1.fl_str_mv SOUZA, Wanderley Lopes de.
dc.contributor.advisor1ID.fl_str_mv SOUZA, W. L.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3742302894743620
dc.contributor.referee1.fl_str_mv SILVA, Solon Benayon da.
dc.contributor.referee2.fl_str_mv MARTINS, Joberto Sérgio Barbosa.
dc.contributor.authorID.fl_str_mv SOUZA, J. N.
dc.contributor.author.fl_str_mv SOUZA, José Neuman de.
contributor_str_mv SOUZA, Wanderley Lopes de.
SILVA, Solon Benayon da.
MARTINS, Joberto Sérgio Barbosa.
dc.subject.cnpq.fl_str_mv Informática.
Ciência da Computação.
topic Informática.
Ciência da Computação.
Protocolos de Comunicação
Metodologia de Validação - Informática
Protocolo Abracadabra
Serviço Abracadabra
Linguagem Estelle/83
Especificações Formais - Informática
Sistema Abraservice
Código Pascal das Rotinas de Suporte
dc.subject.por.fl_str_mv Protocolos de Comunicação
Metodologia de Validação - Informática
Protocolo Abracadabra
Serviço Abracadabra
Linguagem Estelle/83
Especificações Formais - Informática
Sistema Abraservice
Código Pascal das Rotinas de Suporte
description Nesse trabalho è proposta uma metodologia para validar, através de simulação, especificações formais de protocolos, realizadas com a técnica de descrição formal (TDF) "Extended State Transition Lançjuaçje (Estelle)", versão de 1983. Essa metodologia utiliza, como ferramenta, o compilador Estelle/83, desenvolvido junto ao Grupo de Redes de Computadores (GRC) da Universidade Federal da Paraíba (UFPB). A esse compilador é acrescentado um núcleo de simulação que permite o acompanhamento da execução do sistema especificado.
publishDate 1990
dc.date.issued.fl_str_mv 1990-03-26
dc.date.accessioned.fl_str_mv 2018-12-21T20:50:25Z
dc.date.available.fl_str_mv 2018-12-21
2018-12-21T20:50:25Z
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/2435
dc.identifier.citation.fl_str_mv SOUZA, José Neumam de. Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 1990. 221 f. (Dissertação de Mestrado em Informática), Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II - Campina Grande, Brasil, 1990. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2435
url https://dspace.sti.ufcg.edu.br/handle/riufcg/2435
identifier_str_mv SOUZA, José Neumam de. Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação. 1990. 221 f. (Dissertação de Mestrado em Informática), Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II - Campina Grande, Brasil, 1990. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2435
dc.language.iso.fl_str_mv por
language por
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/2435/4/JOS%C3%89+NEUMAM+DE+SOUZA+-+PPGCC+1990.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2435/3/JOS%C3%89+NEUMAM+DE+SOUZA+-+PPGCC+1990.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2435/2/license.txt
bitstream.checksum.fl_str_mv 0863ddcd20a5871693517457636a6f87
5eef1227e4143bf6561bd41bcc62305f
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_ 1863363402303275008

Registros relacionados