Skip navigation
  1. RI UFPE
  2. Trabalhos de Conclusão de Curso
  3. (CIn) Centro de Informática
  4. (CIn) - Coordenação de Ciência da Computação
  5. (TCC) - Ciência da Computação
Por favor, use este identificador para citar o enlazar este ítem: https://repositorio.ufpe.br/handle/123456789/49987

Comparte esta pagina

Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorSAMPAIO, Augusto Cezar Alves-
dc.contributor.authorLEITE, Gabriel Nogueira-
dc.date.accessioned2023-05-09T13:55:24Z-
dc.date.available2023-05-09T13:55:24Z-
dc.date.issued2023-05-04-
dc.date.submitted2023-05-08-
dc.identifier.citationNOGUEIRA, Gabriel. Generating Formal Specifications for Smart Contracts from Textual Descriptions in Natural Language. 2023. Trabalho de Conclusão de Curso (Ciência da Computação) – Universidade Federal de Pernambuco, Recife, 2023.pt_BR
dc.identifier.urihttps://repositorio.ufpe.br/handle/123456789/49987-
dc.description.abstractThe increasing adoption of smart contracts in decentralized finance (DeFi) and in other areas has led to a growing need for robust and error-free code. This paper addresses this challenge by introducing a grammar-based approach for generating formal specifications from textual descriptions in natural language, specifically post-conditions for ERC20 functions of Solidity smart contracts. Particularly, our approach allows developers to transform natural language descriptions into formal specifications, and vice versa (bidirectional). Thus, developers can automatically derive postconditions from comments to verify conformance, or even generate textual descriptions for complex formal annotations in existing smart contracts to improve legibility.pt_BR
dc.format.extent33 p.pt_BR
dc.language.isoengpt_BR
dc.rightsopenAccesspt_BR
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/br/*
dc.subjectBlockchainpt_BR
dc.subjectSmart contractpt_BR
dc.subjectFormal methodspt_BR
dc.subjectNatural language processingpt_BR
dc.titleGenerating Formal Specifications for Smart Contracts from Textual Descriptions in Natural Languagept_BR
dc.typebachelorThesispt_BR
dc.contributor.advisor-coARRUDA, Filipe Marques Chaves de-
dc.contributor.authorLatteshttp://lattes.cnpq.br/1746868961705080pt_BR
dc.degree.levelGraduacaopt_BR
dc.contributor.advisorLatteshttp://lattes.cnpq.br/3977760354511853pt_BR
dc.description.abstractxA crescente adoção de contratos inteligentes em finanças descentralizadas (DeFi) e em outras áreas levou a uma necessidade crescente de código robusto e livre de erros. Este artigo aborda esse desafio introduzindo uma abordagem baseada em gramática para gerar especificações formais a partir de descrições textuais em linguagem natural, especificamente pós-condições para funções ERC20 de contratos inteligentes escritos em Solidity. Particularmente, nossa abordagem permite que os desenvolvedores transformem descrições de linguagem natural em especificações formais e vice-versa (bidirecional). Assim, os desenvolvedores podem derivar automaticamente pós-condições de comentários para verificar a conformidade ou até mesmo gerar descrições textuais para anotações formais complexas em contratos inteligentes existentes para melhorar a legibilidade.pt_BR
dc.subject.cnpqÁreas::Ciências Exatas e da Terrapt_BR
dc.degree.departament::(CIN-DCC) - Departamento de Ciência da Computaçãopt_BR
dc.degree.graduation::CIn-Curso de Ciência da Computaçãopt_BR
dc.degree.grantorUniversidade Federal de Pernambucopt_BR
dc.degree.localRecifept_BR
dc.contributor.advisor-coLatteshttp://lattes.cnpq.br/4240670677976713pt_BR
dc.identifier.orcidhttps://orcid.org/0009-0007-0232-8076pt_BR
Aparece en las colecciones: (TCC) - Ciência da Computação

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
TCC Gabriel Nogueira Leite.pdf671,06 kBAdobe PDFVista previa
Visualizar/Abrir


Este ítem está protegido por copyright original

Visualizar la licencia
Mostrar el registro sencillo del ítem Recomiende este ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons