logo móvil
Contáctanos

SCEditor-Web: Puente entre la Ingeniería Dirigida por Modelos y la IA Generativa para el Desarrollo de Contratos Inteligentes

Autores: Ait Hsain, Yassine; Laaz, Naziha; Mbarki, Samir

Idioma: Inglés

Editor: MDPI

Año: 2025

Descargar PDF

Acceso abierto

Artículo científico
2025

SCEditor-Web: Puente entre la Ingeniería Dirigida por Modelos y la IA Generativa para el Desarrollo de Contratos Inteligentes


Categoría

Gestión y administración

Subcategoría

Gestión de la tecnología y la inovación

Palabras clave

Contratos inteligentes
Ecosistemas de blockchain
SCEditor-Web
Ingeniería impulsada por modelos
Inteligencia artificial generativa
Lenguajes de programación específicos de la plataforma

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 1

Citaciones: Sin citaciones


Descripción
Los contratos inteligentes son centrales en los ecosistemas de blockchain, sin embargo, su desarrollo sigue siendo técnicamente exigente, propenso a errores y ligado a lenguajes de programación específicos de la plataforma. Este documento presenta SCEditor-Web, un entorno de modelado basado en la web que combina la ingeniería impulsada por modelos (MDE) con inteligencia artificial generativa (Gen-AI) para simplificar el diseño de contratos y la generación de código. Los desarrolladores especifican los aspectos estructurales y de comportamiento de los contratos inteligentes a través de un lenguaje visual específico de dominio basado en un metamodelo formal. El modelo de contrato resultante se exporta como JSON estructurado y se transforma en código ejecutable específico de la plataforma utilizando modelos de lenguaje grandes (LLMs) guiados por un proceso de ingeniería de prompts adaptado. Se evaluó una implementación prototipo en contratos Solidity como prueba de concepto, utilizando casos de uso representativos. Los experimentos con LLMs de última generación evaluaron los contratos generados en términos de compilabilidad, alineación semántica con el modelo de contrato y calidad general del código. Los resultados indican que el flujo de trabajo de visual a código reduce el esfuerzo manual, mitiga errores comunes de programación y apoya a los desarrolladores con diferentes niveles de experiencia. Las contribuciones incluyen un metamodelo abstracto de contrato inteligente, un pipeline estructurado de generación de prompts y una plataforma basada en la web que conecta el modelado de alto nivel con la síntesis práctica de código en múltiples lenguajes. Juntos, estos elementos avanzan en la integración de MDE y LLMs, demostrando un paso hacia una ingeniería de contratos inteligentes más accesible y confiable.

Otros recursos que podrían interesarte

Temas Virtualpro