Engenharia de software

1. Diagrama de Fluxo de Dados
1.1. diagrama_contexto

Figure 1 Fluxo diagrama_contexto
1.1.1. Sistema_de_Venda_de_Bilhetes_Eletronicos

Figure 2 Fluxo Sistema_de_Venda_de_Bilhetes_Eletronicos
1.1.1.1. ProcessarCompras

Figure 3 Fluxo ProcessarCompras
Mini-Spec Trocar_Bilhete início recebe dados_troca recebe data_hora gera novo_bilhete se tipo_troca = "ESPECTADOR" então início troca Espectador fim se tipo_troca = "VALE-ENTRADA" então início gera vale_entrada fim se cliente_Fidelidade_Ok então início grava inf_Cliente_Fidelidade fim grava inf_logs em Logs exibe inf_troca ao comprador fim Mini-Spec Devolver_Bilhete
Início
recebe dados_devolucao recebe data_hora pesquisa inf_compra_bilhete em Compras se inf_compra_bilhete = dados_devolucao então início se diferenca_horas > 6 então início envia pedido_cancelamento ao Sistema_de_Cartao_de_Credito se cancelamento_ok então início gravar inf_compra_bilhe em compras atualizar inf_bilhetes_disponiveis em Bilhetes gravar inf_logs em Logs exibir inf_devolucao fim fim Senão início gerar Vale gravar inf_compra_vale em compras gravar inf_logs em Logs exibir inf_devolucao fim fim se cliente_Fidelidade_Ok então início grava inf_Cliente_Fidelidade fim
Fim
Mini-Spec Comprar_Bilhete início recebe dados_compra_bilhete pesquiza inf_bilhetes_disponiveis em bilhetes_disponiveis Se quantidade_disponivel maior que 0 e quantidade_disponivel >= quantidade _comprada então início se tipo_compra = "CARTAO" então início envia pedido_compra ao Sistema_de_Cartao_de_Credito fim se tipo_compra = "VALE" então início verifica validade e valor do Vale fim se compra_ok = ok então início grava inf_compra_bilhete em Compras grava inf_logs em Logs grava inf_bilhetes_disponiveis em