Use este identificador para citar ou linkar para este item: https://repositorio.ufba.br/handle/ri/37864
Registro completo de metadados
Campo DCValorIdioma
dc.creatorSantiago, Levy Marlon Souza-
dc.date.accessioned2023-09-26T09:02:52Z-
dc.date.available2023-09-26T09:02:52Z-
dc.date.issued2023-04-18-
dc.identifier.citationSANTIAGO, Levy Marlon Souza. Gifflar: um framework para geração de contratos inteligentes em tempo de execução. 2023. 132 f. Dissertação (Mestrado em Ciência da Computação) - Instituto de Computação, Universidade Federal da Bahia, Salvador (Bahia), 2023.pt_BR
dc.identifier.urihttps://repositorio.ufba.br/handle/ri/37864-
dc.description.abstractBlockchain is a disruptive technology that offers a secure decentralized network, allowing direct transactions between distributed entities without needing a trusted third party. Smart contracts (SmC) are executable codes hosted on the blockchain and enable the implementation of several decentralized applications in different domains. However, due to the complexity of SmC construction, seeking ways to facilitate and make this innovative development process robust is necessary. Many projects in the literature proposed solutions based on automatic code generation from high-level modelings, such as diagrams. However, this approach brings with it a constant need for a person to model the contracts. This paper presents Gifflar, a framework for generating SmC code on the fly, in such a way that it allows a system to write, compile and implement blockchain SmCs with an application still running, which reduces the frequent precision of the SmC developer and allows to automate the SmC development process further. One of the main tools is a component-structured library called Solgen that implements design patterns better to define the responsibility of each of these parts. The Solgen offers an API that allows the developer to model, generate code and manage SmCs through methods that abstract to a certain level the SmC code using the JSON as a model to code generation. In addition, project evaluations were carried out to validate the project: (i) a usability evaluation of the Solgen and (ii) a conceptual evaluation of Gifflar's application in other projects. As far as we know, this framework is one of the first to allow dynamically generating SmCs on the fly, thus contributing to state of the art by approaching a new paradigm where systems can act as smart contract developers.pt_BR
dc.description.sponsorshipFundação de Amparo à Pesquisa do Estado da Bahia (FAPESB)pt_BR
dc.languageporpt_BR
dc.publisherUniversidade Federal da Bahiapt_BR
dc.rightsAttribution-NonCommercial-ShareAlike 3.0 Brazil*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/br/*
dc.subjectBlockchainpt_BR
dc.subjectContrato inteligentept_BR
dc.subjectFrameworkpt_BR
dc.subjectGeração automática de códigopt_BR
dc.subjectAplicações descentralizadaspt_BR
dc.subject.otherBlockchainpt_BR
dc.subject.otherSmart contractpt_BR
dc.subject.otherFrameworkpt_BR
dc.subject.otherAutomatic code generationpt_BR
dc.subject.otherDecentralized applicationspt_BR
dc.titleGifflar: um framework para geração de contratos inteligentes em tempo de execução.pt_BR
dc.title.alternativeGifflar: a framework for generating smart contracts at runtime.pt_BR
dc.typeDissertaçãopt_BR
dc.publisher.programPrograma de Pós-Graduação em Ciência da Computação (PGCOMP) pt_BR
dc.publisher.initialsUFBApt_BR
dc.publisher.countryBrasilpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAOpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWAREpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::SISTEMAS DE INFORMACAOpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::LINGUAGENS DE PROGRAMACAOpt_BR
dc.contributor.advisor1Greve, Fabíola Gonçalves Pereira-
dc.contributor.advisor1ID0000-0001-6748-8440pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/0120615995402345pt_BR
dc.contributor.referee1Greve, Fabíola Gonçalves Pereira-
dc.contributor.referee1ID0000-0001-6748-8440pt_BR
dc.contributor.referee1Latteshttp://lattes.cnpq.br/0120615995402345pt_BR
dc.contributor.referee2Vieira, Alex Borges-
dc.contributor.referee2ID0000-0003-0821-126Xpt_BR
dc.contributor.referee2Latteshttp://lattes.cnpq.br/9037224811267705pt_BR
dc.contributor.referee3Souza, Rodrigo Rocha Gomes e-
dc.contributor.referee3ID0000-0001-8186-0069pt_BR
dc.contributor.referee3Latteshttp://lattes.cnpq.br/7697794806460975pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/2370536153296217pt_BR
dc.description.resumoBlockchain é uma tecnologia disruptiva que permite transações diretas entre entidades distribuídas sem a necessidade de uma terceira parte confiável, oferecendo uma rede descentralizada segura. Contratos inteligentes (SmCs) são códigos executáveis hospedados na blockchain e permitem a implementação de aplicações descentralizadas, em diferentes domínios. Devido à complexidade de construção dos SmCs, é necessário buscar formas de facilitar e tornar robusto esse processo de desenvolvimento inovador. Muitos projetos da literatura propuseram soluções baseadas em geração automática de código a partir de uma modelagem de alto nível, como diagramas. Porém, esta abordagem traz consigo uma constante necessidade de uma pessoa para modelar os contratos e realizar o processo de compilação e implantação. Esta dissertação de mestrado apresenta o Gifflar, um framework para geração automática de código de SmC em tempo de execução, que permite a um sistema escrever, compilar e implantar SmCs numa rede blockchain com uma aplicação ainda em execução, o que reduz a frequente precisão do desenvolvedor de SmC e possibilita automatizar ainda mais o processo de desenvolvimento de SmC. Uma das suas principais ferramentas é a biblioteca Solgen, que é estruturada em componentes que implementam padrões de projeto para melhor definir a responsabilidade de cada uma dessas partes. A Solgen oferece uma API que permite ao desenvolvedor modelar, gerar códigos e gerenciar os SmCs através de métodos que abstraem até certo nível o código do SmC utilizando o JSON como modelo para a geração de código. Em complemento, foram realizadas duas avaliações para validar o projeto: (i) uma avaliação de usabilidade da Solgen e (ii) uma avaliação conceitual de aplicação do Gifflar em outros projetos. Até onde se sabe, este framework é um dos primeiros a permitir gerar SmCs dinamicamente em tempo de execução, assim contribuindo para o estado da arte ao abordar um novo paradigma, onde os sistemas podem atuar como desenvolvedores de contratos inteligentes.pt_BR
dc.publisher.departmentInstituto de Computação - ICpt_BR
dc.type.degreeMestrado Acadêmicopt_BR
Aparece nas coleções:Dissertação (PGCOMP)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Levy Santiago. Dissertacao Mestrado.pdfDissertação de mestrado de Levy Marlon Souza Santiago1,65 MBAdobe PDFVisualizar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons