Year: 2026
Type: conference-paper
Abstract: 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.
Institution: National University of San Luis
Language: Spanish
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7165707988