Use este identificador para citar ou linkar para este item:
https://repositorio.ufba.br/handle/ri/37864
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.creator | Santiago, Levy Marlon Souza | - |
dc.date.accessioned | 2023-09-26T09:02:52Z | - |
dc.date.available | 2023-09-26T09:02:52Z | - |
dc.date.issued | 2023-04-18 | - |
dc.identifier.citation | SANTIAGO, 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.uri | https://repositorio.ufba.br/handle/ri/37864 | - |
dc.description.abstract | Blockchain 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.sponsorship | Fundação de Amparo à Pesquisa do Estado da Bahia (FAPESB) | pt_BR |
dc.language | por | pt_BR |
dc.publisher | Universidade Federal da Bahia | pt_BR |
dc.rights | Attribution-NonCommercial-ShareAlike 3.0 Brazil | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/br/ | * |
dc.subject | Blockchain | pt_BR |
dc.subject | Contrato inteligente | pt_BR |
dc.subject | Framework | pt_BR |
dc.subject | Geração automática de código | pt_BR |
dc.subject | Aplicações descentralizadas | pt_BR |
dc.subject.other | Blockchain | pt_BR |
dc.subject.other | Smart contract | pt_BR |
dc.subject.other | Framework | pt_BR |
dc.subject.other | Automatic code generation | pt_BR |
dc.subject.other | Decentralized applications | pt_BR |
dc.title | Gifflar: um framework para geração de contratos inteligentes em tempo de execução. | pt_BR |
dc.title.alternative | Gifflar: a framework for generating smart contracts at runtime. | pt_BR |
dc.type | Dissertação | pt_BR |
dc.publisher.program | Programa de Pós-Graduação em Ciência da Computação (PGCOMP) | pt_BR |
dc.publisher.initials | UFBA | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAO | pt_BR |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE | pt_BR |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::SISTEMAS DE INFORMACAO | pt_BR |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::LINGUAGENS DE PROGRAMACAO | pt_BR |
dc.contributor.advisor1 | Greve, Fabíola Gonçalves Pereira | - |
dc.contributor.advisor1ID | 0000-0001-6748-8440 | pt_BR |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/0120615995402345 | pt_BR |
dc.contributor.referee1 | Greve, Fabíola Gonçalves Pereira | - |
dc.contributor.referee1ID | 0000-0001-6748-8440 | pt_BR |
dc.contributor.referee1Lattes | http://lattes.cnpq.br/0120615995402345 | pt_BR |
dc.contributor.referee2 | Vieira, Alex Borges | - |
dc.contributor.referee2ID | 0000-0003-0821-126X | pt_BR |
dc.contributor.referee2Lattes | http://lattes.cnpq.br/9037224811267705 | pt_BR |
dc.contributor.referee3 | Souza, Rodrigo Rocha Gomes e | - |
dc.contributor.referee3ID | 0000-0001-8186-0069 | pt_BR |
dc.contributor.referee3Lattes | http://lattes.cnpq.br/7697794806460975 | pt_BR |
dc.creator.Lattes | http://lattes.cnpq.br/2370536153296217 | pt_BR |
dc.description.resumo | Blockchain é 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.department | Instituto de Computação - IC | pt_BR |
dc.type.degree | Mestrado Acadêmico | pt_BR |
Aparece nas coleções: | Dissertação (PGCOMP) |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Levy Santiago. Dissertacao Mestrado.pdf | Dissertação de mestrado de Levy Marlon Souza Santiago | 1,65 MB | Adobe PDF | Visualizar/Abrir |
Este item está licenciada sob uma Licença Creative Commons