Validación y transformación de contratos inteligentes a Solidity

Autores
Pessini, Anabella; Río, Valentina; Baigorria, Lorena; Garis, Ana Gabriela
Año de publicación
2026
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Blockchain permite realizar transacciones seguras en redes descentralizadas sin intermediarios. Frecuentemente, estas transacciones requieren lógica automatizada mediante Contratos Inteligentes. Un Contrato Inteligente (CI) es esencialmente código almacenado en la Blockchain que se ejecuta automáticamente cuando se cumplen ciertas condiciones. Los errores en los CI pueden tener consecuencias graves, especialmente en finanzas descentralizadas. Este trabajo propone una línea de investigación que utiliza UML y OCL para la especificación de CI, su posterior transformación automática al lenguaje formal Alloy para Verificación y Validación (V&V), y finalmente la generación automática de código en Solidity. Esta última transformación incorpora un enfoque asistido por inteligencia artificial basado en Retrieval-Augmented Generation (RAG), el cual utiliza conocimiento del dominio y documentación técnica para apoyar la traducción automática desde Alloy hacia Solidity, con el objetivo de preservar las restricciones y el comportamiento definidos a nivel formal y reducir errores durante la implementación.
Red de Universidades con Carreras en Informática
Materia
Ciencias Informáticas
Contratos inteligentes
UMI
OCI
Alloy
Modelos
RAG
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/196016
Acceder
id SEDICI_1043ffebc599529d91e4902c0d1cdd3a
oai_identifier_str oai:sedici.unlp.edu.ar:10915/196016
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Validación y transformación de contratos inteligentes a SolidityPessini, AnabellaRío, ValentinaBaigorria, LorenaGaris, Ana GabrielaCiencias InformáticasContratos inteligentesUMIOCIAlloyModelosRAGBlockchain permite realizar transacciones seguras en redes descentralizadas sin intermediarios. Frecuentemente, estas transacciones requieren lógica automatizada mediante Contratos Inteligentes. Un Contrato Inteligente (CI) es esencialmente código almacenado en la Blockchain que se ejecuta automáticamente cuando se cumplen ciertas condiciones. Los errores en los CI pueden tener consecuencias graves, especialmente en finanzas descentralizadas. Este trabajo propone una línea de investigación que utiliza UML y OCL para la especificación de CI, su posterior transformación automática al lenguaje formal Alloy para Verificación y Validación (V&V), y finalmente la generación automática de código en Solidity. Esta última transformación incorpora un enfoque asistido por inteligencia artificial basado en Retrieval-Augmented Generation (RAG), el cual utiliza conocimiento del dominio y documentación técnica para apoyar la traducción automática desde Alloy hacia Solidity, con el objetivo de preservar las restricciones y el comportamiento definidos a nivel formal y reducir errores durante la implementación.Red de Universidades con Carreras en Informática2026-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf600-603http://sedici.unlp.edu.ar/handle/10915/196016spainfo:eu-repo/semantics/altIdentifier/isbn/978-631-6904-02-7info:eu-repo/semantics/reference/hdl/10915/195432info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2026-06-23T11:17:11Zoai:sedici.unlp.edu.ar:10915/196016Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292026-06-23 11:17:11.756SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Validación y transformación de contratos inteligentes a Solidity
title Validación y transformación de contratos inteligentes a Solidity
spellingShingle Validación y transformación de contratos inteligentes a Solidity
Pessini, Anabella
Ciencias Informáticas
Contratos inteligentes
UMI
OCI
Alloy
Modelos
RAG
title_short Validación y transformación de contratos inteligentes a Solidity
title_full Validación y transformación de contratos inteligentes a Solidity
title_fullStr Validación y transformación de contratos inteligentes a Solidity
title_full_unstemmed Validación y transformación de contratos inteligentes a Solidity
title_sort Validación y transformación de contratos inteligentes a Solidity
dc.creator.none.fl_str_mv Pessini, Anabella
Río, Valentina
Baigorria, Lorena
Garis, Ana Gabriela
author Pessini, Anabella
author_facet Pessini, Anabella
Río, Valentina
Baigorria, Lorena
Garis, Ana Gabriela
author_role author
author2 Río, Valentina
Baigorria, Lorena
Garis, Ana Gabriela
author2_role author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Contratos inteligentes
UMI
OCI
Alloy
Modelos
RAG
topic Ciencias Informáticas
Contratos inteligentes
UMI
OCI
Alloy
Modelos
RAG
dc.description.none.fl_txt_mv Blockchain permite realizar transacciones seguras en redes descentralizadas sin intermediarios. Frecuentemente, estas transacciones requieren lógica automatizada mediante Contratos Inteligentes. Un Contrato Inteligente (CI) es esencialmente código almacenado en la Blockchain que se ejecuta automáticamente cuando se cumplen ciertas condiciones. Los errores en los CI pueden tener consecuencias graves, especialmente en finanzas descentralizadas. Este trabajo propone una línea de investigación que utiliza UML y OCL para la especificación de CI, su posterior transformación automática al lenguaje formal Alloy para Verificación y Validación (V&V), y finalmente la generación automática de código en Solidity. Esta última transformación incorpora un enfoque asistido por inteligencia artificial basado en Retrieval-Augmented Generation (RAG), el cual utiliza conocimiento del dominio y documentación técnica para apoyar la traducción automática desde Alloy hacia Solidity, con el objetivo de preservar las restricciones y el comportamiento definidos a nivel formal y reducir errores durante la implementación.
Red de Universidades con Carreras en Informática
description Blockchain permite realizar transacciones seguras en redes descentralizadas sin intermediarios. Frecuentemente, estas transacciones requieren lógica automatizada mediante Contratos Inteligentes. Un Contrato Inteligente (CI) es esencialmente código almacenado en la Blockchain que se ejecuta automáticamente cuando se cumplen ciertas condiciones. Los errores en los CI pueden tener consecuencias graves, especialmente en finanzas descentralizadas. Este trabajo propone una línea de investigación que utiliza UML y OCL para la especificación de CI, su posterior transformación automática al lenguaje formal Alloy para Verificación y Validación (V&V), y finalmente la generación automática de código en Solidity. Esta última transformación incorpora un enfoque asistido por inteligencia artificial basado en Retrieval-Augmented Generation (RAG), el cual utiliza conocimiento del dominio y documentación técnica para apoyar la traducción automática desde Alloy hacia Solidity, con el objetivo de preservar las restricciones y el comportamiento definidos a nivel formal y reducir errores durante la implementación.
publishDate 2026
dc.date.none.fl_str_mv 2026-04
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/196016
url http://sedici.unlp.edu.ar/handle/10915/196016
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-631-6904-02-7
info:eu-repo/semantics/reference/hdl/10915/195432
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
600-603
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1868982612289126400
score 13.265058

Publicaciones similares