Buenos días, tenemos un par de consultas.
Primero en el caso de uso Consultar promoción la letra dice: "El caso de uso comienza cuando se desea obtener la información de todas las promociones vigentes en el sistema. Para ello, el Sistema lista todos los datos de las promociones disponibles". Que las promociones estén vigentes nos pareció una precondición para una función, pero en otro caso, el sistema recuerda la fecha actual? En la letra dice que se cuenta con la fecha actual del sistema pero no estamos seguros de si está disponible en la memoria o se tiene que pasar como parámetro después.
Otra duda, en el caso de uso Enviar producto la letra dice: "Se listan los productos que vende ese vendedor que tienen al menos una compra pendiente de envío". A la hora de listar esos productos deberíamos pasar algún identificador como un booleano como parámetro para identificar esos productos o se puede tomar también como una precondición de la función? No nos queda muy claro hasta qué punto es válido poner algo como precondición o postcondición.
Muchas gracias!