Especificaciones: diagramas de flujo de trabajo