|
Nome do aluno |
Levy Marlon Souza Santiago |
|
Título do trabalho |
Gifflar: Um Framework para Geração de Contratos Inteligentes em Tempo de Execução |
|
Resumo do trabalho |
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. O Gifflar possui um núcleo que une todas as ferramentas internas fornecendo uma interface de linha de comandos que auxilia no uso do framework. Uma das principais ferramentas é uma biblioteca estruturada em componentes que implementam padrões de projeto para melhor definir a responsabilidade de cada uma dessas partes. A biblioteca Gifflar 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 intermediário para a geração de código. Em complemento, foram realizadas duas avaliações para validar o arcabouço: (i) uma avaliação de usabilidade da biblioteca do Gifflar 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. |
|
Orientador |
Fabíola Gonçalves Pereira Greve |
|
Membro Titular Externo (com afiliação) |
Alex Borges Vieira (UFJF) |
|
Link para o curriculum lattes |
http://lattes.cnpq.br/ |
|
Membro Titular Interno ou Titular Externo 2 (com afiliação) |
Rodrigo Rocha Gomes e Souza |
|
Link para o curriculum lattes |
http://lattes.cnpq.br/ |
|
Membro Suplente Externo (com afiliação) |
Allan Edgard Silva Freitas |
|
Link para o curriculum lattes |
http://lattes.cnpq.br/ |
|
Membro Suplente Interno ou Suplente Externo 2 (com afiliação) |
Leobino Nascimento Sampaio |
|
Link para o curriculum lattes |
http://lattes.cnpq.br/ |
|
Data da defesa |
18 Apr, 2023 |
|
Horário da defesa |
4:00 PM |
Data da Defesa:
18/04/2023 - 16:00
Tipo de Defesa:
Defesa de Mestrado