Automatizando el paso de Solidity a e3value: un puente tecnológico para facilitar la comprensión de contratos inteligentes

Abstract

Este trabajo presenta un puente tecnológico que automatiza la transformación de contratos inteligentes escritos en Solidity en modelos e3value. Con el fin de facilitar la comprensión e interpretación de los contratos, la solución eleva el nivel de abstracción al traducir la lógica técnica del contrato en una representación visual centrada en los intercambios de valor que regula el contrato, y se complementa con un asistente visual que recoge información adicional. Un caso de estudio sirve para mostrar que el enfoque genera modelos correctos y completos, útiles para interpretar el comportamiento del contrato, contribuyendo así a mejorar la comunicación entre perfiles técnicos y no técnicos y a apoyar tareas de análisis y validación.