1. Repositório Institucional - Universidade Federal de Uberlândia
  2. Faculdade de Computação (FACOM)
  3. DISSERTAÇÃO - Ciência da Computação
Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/36421
Full metadata record
DC FieldValueLanguage
dc.creatorBolina, José Augusto-
dc.date.accessioned2022-11-18T18:01:55Z-
dc.date.available2022-11-18T18:01:55Z-
dc.date.issued2022-09-29-
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.urihttps://repositorio.ufu.br/handle/123456789/36421-
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.languageengpt_BR
dc.publisherUniversidade Federal de Uberlândiapt_BR
dc.rightsAcesso Abertopt_BR
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/us/*
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.titleAlgoritmo multicast generalizado: formalização e validaçãopt_BR
dc.title.alternativeGeneralized multicast algorithm: formalization and validationpt_BR
dc.typeDissertaçãopt_BR
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.creator.Latteshttp://lattes.cnpq.br/0522262067870263pt_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.publisher.countryBrasilpt_BR
dc.publisher.programPrograma de Pós-graduação em Ciência da Computaçãopt_BR
dc.sizeorduration150pt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpt_BR
dc.identifier.doihttp://doi.org/10.14393/ufu.di.2022.596pt_BR
dc.orcid.putcode123151441-
dc.crossref.doibatchidd08e2949-21b4-4b91-b223-d09f1b847d90-
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
Appears in Collections:DISSERTAÇÃO - Ciência da Computação

Files in This Item:
File Description SizeFormat 
AlgoritmoMulticastGeneralizado.pdfDissertação6.01 MBAdobe PDFThumbnail
View/Open
Show simple item record


This item is licensed under a Creative Commons License Creative Commons