Subvención a proyecto de Innovación (IVACE)

Generación automática de Smart Contracts para Ethereum a partir de modelos conceptuales.

Anunciamos que nos ha sido concedida recientemente una subvención para el proyecto de desarrollo de una herramienta de generación automática de Smart Contracts (contratos inteligentes) para la blockchain de Ethereum.

Esta subvención se incluye dentro del programa PROYECTOS DE INNOVACIÓN DE PYME EN TEICS (INNOVA-CV) y actuación INNOVACIÓN DE PYME EN TEICS (INNOVATeiC-CV) 2022 del Instituto Valenciano de Competitividad Empresarial (IVACE) de la Generalitat Valenciana y con la cofinanciación de la Unión Europea a través del Fondo Europeo de Desarrollo Regional (FEDER).

Descripción y Objetivos

El objetivo de este proyecto es desarrollar una herramienta software que permita generar automáticamente código en lenguaje Solidity para implementar Smart Contracts para su posterior despliegue en la blockchain de Ethereum.

Dicha herramienta seguirá la filosofía Model-Driven Development de Integranova de modo que permitirá plasmar en un modelo conceptual los requisitos funcionales de uno o varios Smart Contracts, validará dicha especificación de requisitos y la transformará automáticamente en código Solidity que implemente dicha especificación mediante Smart Contracts listos para su compilación y despliegue en la blockchain de Ethereum.

El reto tecnológico principal es la definición y desarrollo de una solución que permita producir Smart Contracts para Ethereum en lenguaje Solidity tal que:

Los requisitos funcionales o reglas de negocio a implementar por parte de los Smart Contracts se definan en un modelo conceptual.
El código Solidity se genere automáticamente a partir de dicha especificación.
Se reduzca la posibilidad de introducir errores de tipo humano en la construcción de los Smart Contracts.
El código Solidity esté listo para ser compilado, desplegado y ejecutado en la blockchain de Ethereum, tanto en la mainnet, como en redes de prueba (p.ej: Goerli, Sepolia, Ganache…).
Los métodos de los Smart Contracts puedan ser consumidos o utilizados por cualquier tercero en general y, en particular, por las aplicaciones generadas mediante otras herramientas de Integranova.

Resultados observables del proyecto

El resultado del proyecto será la creación de Integranova Smart Contracts Transformation Engine, un nuevo producto comercial capaz de generar código de contratos inteligentes (smart contracts), en el lenguaje de programación Solidity, para su ejecución en la blockchain de Ethereum.

Los procesos de generación automática de contratos inteligentes Solidity, a partir de modelos conceptuales, incrementarán la oferta de Transformation Engines que brinda nuestra tecnología Integranova Model Execution System ampliando el abanico de plataformas para las que Integranova ofertará soluciones de desarrollo automático de software.

Además del código Solidity de los contratos inteligentes, la herramienta generará el código de un API REST que facilitará la integración de la funcionalidad de los contratos inteligentes con otras aplicaciones de software ya sean de cualquier tercero en general o, en particular, con aplicaciones generadas por la tecnología Integranova, la cual ya brinda los mecanismos necesarios para especificar y generar automáticamente los mecanismos de integración con APIs REST.