Una Contribución a las Técnicas Avanzadas de Verificación de Procesos de Negocio y Sistemas Software Abiertos