La modelización y verificación de procesos empresariales se han convertido en una forma esencial de controlar y asegurar la evolución organizacional. Revisamos las oportunidades para la aplicación de blockchain en la Gestión y Modelización de Procesos Empresariales en Finanzas y nos centramos en un análisis profundo del proceso de reclamación en seguros como caso de uso. Investigamos la utilización de la tecnología blockchain para la verificación de modelos de flujo de trabajo, procesos empresariales para garantizar consistencia, integridad y seguridad en un entorno empresarial en constante cambio. Creamos un perfil UML para el blockchain, luego lo combinamos con un diagrama de actividad UML seguido de una verificación utilizando redes de Petri para garantizar un sistema informático distribuido y escalable con datos mutables. Nuestro documento crea una imagen unificada de los enfoques hacia la modelización de procesos empresariales utilizados en la industria financiera organizados en torno a un conjunto de premisas con la intención de desarrollar una agenda de investigación futura para la modelización de procesos empresariales con blockchain, específicamente para el dominio de la industria financiera.