Las precondiciones y postcondiciones en los casos de uso

La precondición está formada por el conjunto de condiciones que se tienen que cumplir para que se pueda iniciar un caso de uso. En muchos casos supone la ejecución de casos de uso previos.
La postcondición refleja el estado en que se queda el sistema una vez ejecutado el caso de uso.
En ambos casos lo que se representa es un estado y no la ejecución de una serie de acciones (previas o posteriores al caso de uso).
Si te preguntas si debes cumplimentarlo en la ficha de descripción del caso de uso, no te puedo dar una respuesta general (aunque personalmente piense que cuesta poco trabajo ponerlos), ya que no se debe tratar de una decisión de carácter formal sino de una decisión basada en criterios prácticos, así que lo mejor es que para cada caso de uso te hagas la siguiente pregunta ¿aporta una mayor claridad para el usuario y para el equipo de desarrollo que para un caso de uso concreto ponga precondición y/o postcondición o éstas se sobreentienden?.

Fuente:http://jummp.wordpress.com/2011/07/22/las-precondiciones-y-postcondiciones-en-los-casos-de-uso/