Publicação:
Algoritmo multicast generalizado: formalização e validação

Página do item simplificado
dc.contributor.advisor-co1Pasquini, Rafael
dc.contributor.advisor-co1Latteshttp://lattes.cnpq.br/6428800770934048pt_BR
dc.contributor.advisor1Camargos, Lásaro Jonas
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/4297695725568502pt_BR
dc.contributor.referee1Pedone, Fernando
dc.contributor.referee1Latteshttp://lattes.cnpq.br/0009664169018101pt_BR
dc.contributor.referee2Coelho, Paulo Rodolfo da Silva Leite
dc.contributor.referee2Latteshttp://lattes.cnpq.br/8115351564191626pt_BR
dc.creatorBolina, José Augusto
dc.creator.Latteshttp://lattes.cnpq.br/0522262067870263pt_BR
dc.crossref.doibatchidd08e2949-21b4-4b91-b223-d09f1b847d90
dc.date.accessioned2022-11-18T18:01:55Z
dc.date.available2022-11-18T18:01:55Z
dc.date.issued2022-09-29
dc.description.abstractDistributed systems algorithms are an essential building block to creating fault-tolerant applications. The correctness of such algorithms is crucial. The current work formalizes and specifies three generic multicast algorithms using TLA+ . We detail the formalization process, describing the problems and their corrections. On a more practical side, we implement a prototype of one of the specified algorithms. The current work aims to describe the process of (i) formalization and correction of three generic multicast algorithms and (ii) implementation of an algorithm directly from the specification.pt_BR
dc.description.degreenameDissertação (Mestrado)pt_BR
dc.description.resumoAlgoritmos de sistemas distribuídos são peças essenciais para criação de aplicações tolerante a faltas. A corretude desses algoritmos é crucial. Nesse sentido, o presente trabalho formaliza e especifica três algoritmos para multi-difusão generalizada utilizando TLA+, corrigindo os problemas encontrados durante o processo. Em um lado mais prático, implementamos um protótipo de um dos algoritmos corrigidos. O presente trabalho detalha os algoritmos, os problemas encontrados e as respectivas soluções, e finalmente, o processo de especificação e implementação.pt_BR
dc.identifier.citationBOLINA, José Augusto. Algoritmo multicast generalizado: formalização e validação. 2022. 150 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2022. DOI http://doi.org/10.14393/ufu.di.2022.596pt_BR
dc.identifier.doihttp://doi.org/10.14393/ufu.di.2022.596pt_BR
dc.identifier.urihttps://repositorio.ufu.br/handle/123456789/36421
dc.languageengpt_BR
dc.orcid.putcode123151441
dc.publisherUniversidade Federal de Uberlândiapt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.programPrograma de Pós-graduação em Ciência da Computaçãopt_BR
dc.rightsAcesso Abertopt_BR
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/us/*
dc.sizeorduration150pt_BR
dc.subjectConsensopt_BR
dc.subjectTolerância a faltaspt_BR
dc.subjectDifusão Genéricapt_BR
dc.subjectDifusão Atômicapt_BR
dc.subjectConsensuspt_BR
dc.subjectFault-Tolerancept_BR
dc.subjectGeneric Multicastpt_BR
dc.subjectAtomic Multicastpt_BR
dc.subject.autorizadoComputaçãopt_BR
dc.subject.autorizadoAlgorítmos computacionaispt_BR
dc.subject.autorizadoSistemas de computaçãopt_BR
dc.subject.autorizadoSistemas operacionais distribuídos (Computadores)pt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpt_BR
dc.titleAlgoritmo multicast generalizado: formalização e validaçãopt_BR
dc.title.alternativeGeneralized multicast algorithm: formalization and validationpt_BR
dc.typeDissertaçãopt_BR
dspace.entity.typePublication
person.identifier.orcid0000-0001-6654-6442
relation.isAuthorOfPublication0974ed45-bb08-4be3-b4d0-cfe1811c1d88
relation.isAuthorOfPublication.latestForDiscovery0974ed45-bb08-4be3-b4d0-cfe1811c1d88

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
AlgoritmoMulticastGeneralizado.pdf
Tamanho:
5.87 MB
Formato:
Adobe Portable Document Format
Descrição:
Dissertação
Baixar

Licença do pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
1.75 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

DISSERTAÇÃO - Ciência da Computação