Los desafíos posteriores a la implementación en el desarrollo y actualización de contratos inteligentes de blockchain requieren un alto nivel de precisión en su desarrollo y lógica empresarial. Sin embargo, las metodologías actuales para verificar la lógica empresarial de los contratos inteligentes a menudo no abordan su alineación con los requisitos comerciales de los usuarios finales. Este documento introduce un proceso de transformación de lenguaje de dos pasos para cerrar esta brecha. Inicialmente, establecemos una regla de transformación del Modelo y Notación de Procesos de Negocio (BPMN) a Prolog, lo que permite la traducción de procesos comerciales a una representación de Prolog. Este paso no solo valida la lógica del proceso empresarial, sino que también garantiza que cumpla con las especificaciones del usuario. Posteriormente, introducimos una regla de transformación del BPMN a Go, que facilita la transformación del modelo BPMN, una vez validado, en un contrato inteligente de lenguaje Go. Para mejorar la usabilidad, hemos desarrollado una herramienta dedicada que agiliza este proceso de transformación. Presentamos un estudio de caso que involucra un proceso de préstamo bancario para ejemplificar la utilidad de nuestra herramienta en la creación de diagramas BPMN, realizando validaciones de requisitos y sintaxis, y efectuando la transformación a contratos inteligentes de Go. El estudio de caso y los resultados empíricos sugieren que nuestra metodología y la herramienta asociada mitigan las complejidades inherentes en el desarrollo de contratos inteligentes. También garantizan la fidelidad de la lógica empresarial a las demandas de los usuarios, promoviendo así una mayor adopción de la tecnología de contratos inteligentes de blockchain.