Pós condição e pré condição

Pré-condição: condições que precisam, necessariamente, estarem presentes para que um caso de uso possa ser iniciado. Ex.: o caso de uso é o cadastro de um dado no sistema. Pré-condição: o cadastrante precisa estar logado.

Pós-condição: condições que precisam, necessariamente, estarem presentes para que um caso de uso possa ser dado como realizado. Considerando o mesmo exemplo anterior, uma pós-condição é de que o dado esteja disponível para consulta, por exemplo.

[]´s

Não se se esqueça que ambas são opcionais. Portanto, só as inclua se elas forem agregar valor ao seu caso de uso.

Por exemplo, uma pré-condição que determina que o ‘Ator tem que estar logado’, se for válida para todos os casos de uso do sistema, não faz o menor sentido.

Outra coisa importante é que a pré-condição deve ser verificada antes do caso de uso iniciar. O restante vira fluxo de exceção.

Como representar condição em um caso de uso, qual o simbolo?