- ID
- 1289248
- Banca
- CESGRANRIO
- Órgão
- Petrobras
- Ano
- 2012
- Provas
- Disciplina
- Algoritmos e Estrutura de Dados
- Assuntos
Ao entrevistar um conjunto de usuários, uma analista de sistemas coletou os seguintes requisitos:
Os atendentes podem cadastrar, atualizar e excluir pedidos. Todos os pedidos são cadastrados com o status “aberto”. O status de um pedido é único e corresponde à situação em que ele se encontra a cada momento. Após ter suas informações completamente fornecidas, um pedido é passado para o departamento de ativação, que muda seu status para “ativando” e muda, posteriormente, para “atendido” quando o atendimento se encerra. Uma vez que um pedido não está mais em aberto, ele não pode ser modificado para atender a solicitações externas. Sobre um mesmo pedido, considere as seguintes proposições e seu significado pretendido:
P: o pedido está em aberto.
Q: o pedido está ativando.
R: o pedido está atendido.
M: o pedido pode ser modificado.
Para os requisitos descritos, vale a seguinte fórmula da lógica proposicional: