Uma metodologia para validação, através de simulação de especificações formais de protocolos de comunicação.
| Ano de defesa: | 1990 |
|---|---|
| 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/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 |
UCB-2_197eea396e1e232daa0818337781a243 |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/2435 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| spelling |
Uma 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.Protocolos de ComunicaçãoMetodologia de Validação - InformáticaProtocolo AbracadabraServiço AbracadabraLinguagem Estelle/83Especificações Formais - InformáticaSistema AbraserviceCódigo Pascal das Rotinas de SuporteInformática.Ciência da Computação.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.CNPqCapesUniversidade 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.http://lattes.cnpq.br/3742302894743620SILVA, Solon Benayon da.MARTINS, Joberto Sérgio Barbosa.SOUZA, José Neuman de.1990-03-262018-12-21T20:50:25Z2018-12-212018-12-21T20:50:25Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-15T12:00:17Zoai:localhost:riufcg/2435Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-15T12:00:17Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false |
| dc.title.none.fl_str_mv |
Uma 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. |
| 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. 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 Informática. Ciência da Computação. |
| 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.none.fl_str_mv |
SOUZA, Wanderley Lopes de. SOUZA, W. L. http://lattes.cnpq.br/3742302894743620 SILVA, Solon Benayon da. MARTINS, Joberto Sérgio Barbosa. |
| dc.contributor.author.fl_str_mv |
SOUZA, José Neuman de. |
| 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 Informática. Ciência da Computação. |
| topic |
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 Informática. Ciência da Computação. |
| 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.none.fl_str_mv |
1990-03-26 2018-12-21T20:50:25Z 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 |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435 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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2435 |
| url |
http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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 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_ |
1834013144484151296 |