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
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
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.
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.