Engenharia de Software. Análise Essencial



Documentos relacionados
IES-200. Tecnologia em Análise e Desenvolvimento de Sistemas Prof. Me. Álvaro d Arce alvaro@darce.com.br

Análise e Projeto de Sistemas

ANÁLISE ESTRUTURADA MODERNA

2 Diagrama de Caso de Uso

Diagrama de transição de Estados (DTE)

UNIVERSIDADE FEDERAL DO PARANÁ UFPR Bacharelado em Ciência da Computação

ESTÁGIO DE DOCÊNCIA II

Análise de Ponto de Função

Modelagem de Casos de Uso (Parte 1)

INF 2125 PROJETO DE SISTEMAS DE SOFTWARE Prof. Carlos J. P. de Lucena

Sumário. Uma visão mais clara da UML

Componentes do modelo ambiental

Diagrama de Fluxo de Dados (DFD)

Engenharia de Software III

Banco de Dados Modelo Conceitual, Lógico, Físico, Entidade- Relacionamento (ER) Hélder Nunes

Diagrama de contexto

Ferramentas Estruturadas de Análise. Dicionário de Dados Diagramas Entidade-Relacionamento. Resumo. Elementos da Análise Estruturada

Modelo Entidade-Relacionamento

Feature-Driven Development

Modelos de Sistemas Leitura: Sommerville; Pressman

Guia de Especificação de Caso de Uso Metodologia CELEPAR

Engenharia de Requisitos Estudo de Caso

Métodos de Construção de Software: Análise Estruturada

Conteúdo. Disciplina: INF Engenharia de Software. Monalessa Perini Barcellos. Centro Tecnológico. Universidade Federal do Espírito Santo

UNIP Ciência da Computação AES Análise Essencial de Sistemas

Módulo 4: Gerenciamento de Dados

ViajarFácil Sistema de Reserva de Viagens

ROTEIRO PARA ELABORAÇÃO DE PROJETOS

Especificação de Requisitos

Prof. Raul Sidnei Wazlawick UFSC-CTC-INE. Fonte: Análise e Projeto de Sistemas de Informação Orientados a Objetos, 2ª Edição, Elsevier, 2010.

Prof. Marcelo Machado Cunha

Ricardo Roberto de Lima UNIPÊ APS-I. Históricos e Modelagem Orientada a Objetos

Orientação a Objetos

Prof. Raul Sidnei Wazlawick UFSC-CTC-INE. Fonte: Análise e Projeto de Sistemas de Informação Orientados a Objetos, 2ª Edição, Elsevier, 2010.

Persistência e Banco de Dados em Jogos Digitais

Diagrama de entidades relacionamentos (abordado anteriormente) Diagrama de Fluxo de Dados (DFD)

1) O QUE NÃO É BANCO DE DADOS?

CHECK - LIST - ISO 9001:2000

Histórico da Revisão. Data Versão Descrição Autor

O Oficina Integrada é um sistema completo para o controle e gerenciamento de oficinas mecânicas. É o primeiro e único software que controla o fluxo

Universidade Federal de Santa Maria Curso de Arquivologia. Disciplina de Banco de Dados Aplicados à Arquivística. Versao 1.

O Processo Unificado: Captura de requisitos

Especificação de Requisitos

Engenharia de Software

GUIA DE CURSO. Tecnologia em Sistemas de Informação. Tecnologia em Desenvolvimento Web. Tecnologia em Análise e Desenvolvimento de Sistemas

FACULDADE DE ENGENHARIA DE COMPUTAÇÃO. PROJETO FINAL I e II PLANO DE TRABALHO <NOME DO TRABALHO> <Nome do Aluno> <Nome do Orientador>

Modelo de Entidade e Relacionamento (MER) - Parte 07

ARCO - Associação Recreativa dos Correios. Sistema para Gerenciamento de Associações Recreativas Plano de Desenvolvimento de Software Versão <1.

Conteúdo. Disciplina: INF Engenharia de Software. Monalessa Perini Barcellos

CONSULTA AO MERCADO RFI REQUEST FOR INFORMATION CONSOLIDAÇÃO DE DÚVIDAS APRESENTADAS

Manual Geral do OASIS

UNIDADE 4. Introdução à Metodologia de Desenvolvimento de Sistemas

Análise e Projeto Orientados a Objetos Aula IV Requisitos. Prof.: Bruno E. G. Gomes IFRN

Material de Apoio. SEB - Contas a Pagar. Versão Data Responsável Contato 1 05/12/2011 Paula Fidalgo paulaf@systemsadvisers.com

2 a Lista de Exercícios

Uma visão mais clara da UML Sumário

Registro e Acompanhamento de Chamados

UNIVERSIDADE DE MOGI DAS CRUZES Centro de Ciências Exatas e Tecnológicas

Processo de análise estruturada - Abordagem clássica

ISO/IEC 12207: Gerência de Configuração

Disciplina: Unidade III: Prof.: Período:

Lista de Exercícios Engenharia de Software 29/08/2012. Grupo de 4 Pessoas, atividade para ser entregue em aula

A apresentação através de fluxos lógicos consegue mostrar mal entendidos e pontos que são controversos.

Análise e Projeto Orientados a Objetos Aula IX Modelo Conceitual do Sistema (Modelo de Domínio) Prof.: Bruno E. G. Gomes IFRN

Documentação de visão: Sistema de Controle de ponto eletrônico para empresas. Documentados por: Halison Miguel e Edvan Pontes

UNIVERSIDADE FEDERAL DO PARANÁ. CURSO: Ciência da Computação DATA: / / 2013 PERÍODO: 4 o.

15/03/2010. Análise por pontos de função. Análise por Pontos de Função. Componentes dos Pontos de Função. Componentes dos Pontos de Função

Tabela de Símbolos. Análise Semântica A Tabela de Símbolos. Principais Operações. Estrutura da Tabela de Símbolos. Declarações 11/6/2008

Diagramas de Sequência e Contrato das Operações

Modelos de Sistema by Pearson Education. Ian Sommerville 2006 Engenharia de Software, 8ª. edição. Capítulo 8 Slide 1.

TRABALHO DE DIPLOMAÇÃO Regime Modular ORIENTAÇÕES SOBRE O ROTEIRO DO PROJETO FINAL DE SISTEMAS DE INFORMAÇÕES

Tópicos em Engenharia de Software (Optativa III) AULA 2. Prof. Andrêza Leite (81 )

Universidade Paulista

Manual SAGe Versão 1.2 (a partir da versão )

Como funciona? SUMÁRIO

1. Tela de Acesso pg Cadastro pg Abas de navegação pg Abas dados cadastrais pg Aba grupo de usuários pg.

AULA Entidade-Relacionamento

Análise e Projeto Orientados por Objetos

Modelo Ambiental: Define as fronteiras entre o sistema e o resto do mundo.

SISTEMA DE INFORMAÇÕES ACADÊMICAS SIA

Análise e Projeto Orientado a Objetos. Modelagem de Domínio

Modelagem de Banco de Dados através do ERwin

Documento de Diagrama de Classes. MC436 Introdução à Engenharia de Software Profª Ariadne Maria Brito Rizzoni Carvalho

Lista de exercícios 01

Descreve relacionamentos entre objetos de dados; conduz à modelagem de dados; atributos de cada objeto => Descrição de Objetos de Dados;

)HUUDPHQWDV &RPSXWDFLRQDLV SDUD 6LPXODomR

CADASTROS E CONCEITOS DAS BASES DE DADOS

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas

Conteúdo. Disciplina: INF Engenharia de Software. Monalessa Perini Barcellos. Centro Tecnológico. Universidade Federal do Espírito Santo

Casos de Uso. Prof. Clayton Vieira Fraga Filho site: ENG10015 Engenharia de Software

LISTA DE VERIFICAÇAO DO SISTEMA DE GESTAO DA QUALIDADE

3. Arquitetura Básica do Computador

Cláudia Araújo Coordenadora Diego Macêdo Programador Marcelo Rodrigues Suporte

Análise Estruturada de Sistemas

Transcrição:

Engenharia de Software Análise Essencial 1

Evolução dos métodos de análise de sistemas Métodos Análise Tradicional Análise Estruturada Abordagens Funcional Funcional Dados Ferramentas Textos fluxuogramas Diagrama de Fluxo de Dados (DFD) Diagrama de Estrutura de Dados Miniespecificações Normalização Dicionário de Dados Análise Essencial Funcional Dados Controle Tabela de Eventos DFD, Diagrama Entidade-Relacionamento (DER) Diagrama de Estrutura de Dados Diagrama de Transição de Estados (DTE) Normalização Miniespecificações Dicionário de Dados 2

ANÁLISE ESSENCIAL Análise Essencial: recomenda que a especificação do sistema seja apresentada em três perspectivas que se complementam: modelo de processos ou funcional, modelo de dados e modelo de controle. Modelo funcional: mostra a perspectiva dos processos de transformação dos dados. Modelo de dados: mostra a perspectiva que representa os dados que precisam ser armazenados para atender a todas as necessidades de informações do sistema; Modelo de controle: representa a perspectiva dos controles. Tem um papel relevante no caso de sistemas em tempo real. 3

ANÁLISE ESSENCIAL COMO ESPECIFICAR O SISTEMA? A Análise Essencial considera dois níveis: o nível essencial e o de implementação. Cada um desses é representado por um modelo. Modelo Essencial: apresenta o sistema num nível de abstração completamente independente de restrições tecnológicas; é necessário conhecer a verdadeira essência do sistema; Modelo de Implementação: apresenta o sistema num nível de abstração completamente dependente de restrições tecnológicas; é derivado do modelo essencial; diz respeito à implementação do sistema. 4

ANÁLISE ESSENCIAL - MODELO ESSENCIAL Premissa básica: descrever o sistema de maneira independente de restrições tecnológicas; encontrar o conjunto de requisitos verdadeiros de um sistema requisistos essenciais (a essência do sistema) => deve-se considerar a existência da tecnologia perfeita; Tecnologia Perfeita (McMenamim & Palmer): deve ser entendida como uma abstração em que se supõe uma tecnologia ideal, sem limitações, onde: os custos, consumo e desgaste dos equipamentos são zero; a capacidade de armazenamento de dados do sistema é infinita; a velocidade dos processadores é infinita; o tempo de acesso aos dados é instantâneo; zero erros (não ocorrem falhas). 5

Principais componentes da Essência do Sistema Estímulo Resposta Estímulo Memória Atividade Custodial Atividade Fundamental Atividade Fundamental (essencial): executa uma tarefa que é parte da finalidade declarada do sistema. ex: emissão de contra-cheque Resposta nome + endereço salários deduções Pagar trabalhadores horistas horas_trabalhadas contra-cheque 6

Principais componentes da Essência do Sistema Estímulo Resposta Estímulo Memória Atividade Custodial Atividade Fundamental Resposta Memória Essencial: consiste em dados produzidos pelo sistema ou capturados do mundo exterior, que são utilizados pelas atividades fundamentais do sistema. ex: emissão de contra-cheque é necessário a identidade do empregado, o seu salário, faixa de desconto do imposto, tempo que trabalhou, etc. 7

Principais componentes da Essência do Sistema Estímulo Resposta Estímulo Memória Atividade Custodial Atividade Fundamental Resposta Atividade Custodial: estabelece e mantém a memória essencial do sistema pela obtenção e armazenamento das informações necessárias às atividades fundamentais. ex: sistema folha de pagto Manter salários Manter empregados Manter deduções 8

Principais componentes da Essência do Sistema (cont.) EVENTO Estímulo Sistema Resposta ESTÍMULO: é um ativador de uma função. É a chegada do estímulo que indica que um evento ocorreu, e isto faz com que o sistema ative uma função pré-determinada para produzir a resposta esperada. EVENTO: um acontecimento do mundo exterior que requer do sistema uma resposta. RESPOSTA: é o resultado gerado pelo sistema devido à ocorrência de um evento o resultado da execução de alguma função. a resposta ao estímulo pode ser interna ou externa. 9

MODELO ESSENCIAL Modelo Ambiental

MODELO AMBIENTAL definido do ponto de vista externo; São definidos: a interface do sistema com o mundo exterior; quais suas entradas e de onde elas vêm; quais são suas saídas e para onde vão; quais as finalidades que o sistema deve atender; a quais estímulos ele deve reagir. Componentes do modelo ambiental: Lista dos eventos que afetam o sistema Diagrama de Contexto do Sistema Declaração dos objetivos do sistema 11

Lista de Eventos Identificar a quais eventos do mundo exterior o sistema deve responder => ajuda a delimitar as fronteiras do problema que está sendo tratado. finalidades do sistema: atender a determinadas necessidades que são decorrentes de eventos que acontecem no mundo exterior ao sistema => a construção da lista de eventos está relacionada às finalidades do sistema; Observação: Não confundir evento com o estímulo por ele provocado => o evento é representado por uma frase que expressa um acontecimento; 12

Classificação de Eventos Os eventos podem ser classificados pelo tipo de estímulo que eles provocam no sistema: a) Evento orientado por fluxo de dados (f.d.): é aquele em que o estímulo é a chegada ao sistema de um fluxo de dados enviado por uma entidade externa, que vai ativar uma função. Nem todo fluxo de dados que chega ao sistema serve de estímulo relativo a um evento => pode ser apenas uma informação complementar para a execução de alguma função; O sistema pode ou não produzir resposta externa a um evento orientado por fluxo de dados; 13

Classificação de Eventos b) Evento orientado por controle (f.c.): é aquele em que o estímulo é a chegada ao sistema de um fluxo de controle. fluxo de controle: pode ser considerado como sendo um fluxo de dados binário, só tem dois valores: ligado ou desligado. podem haver fluxos de dados complementares associados ao evento orientado por controle; o sistema pode ou não produzir resposta externa a um evento orientado por controle; o fluxo de controle pode ser enviado por uma entidade externa ou gerado por uma função interna ao sistema; 14

Classificação de Eventos c) Evento orientado por tempo (f.t): é aquele em que o estímulo é a chegada ao sistema da informação de haver passado um determinado intervalo de tempo ou de ser atingida determinada hora. podem haver fluxos de dados complementares associados ao evento temporal; o sistema pode ou não produzir resposta externa a um evento orientado temporal; 15

Diagrama de Contexto do Sistema Representa o sistema por um único processo e suas interligações com as entidades externas, mostrando apenas as interfaces do sistema com o ambiente em que ele está inserido; Entidade Externa 1 Fluxos de entrada Entidade Externa 2 Sistema Fluxos de saída Entidade Externa 1 Entidade Externa 2 Entidade Externa 3 16

Declaração dos objetivos do sistema Deve ser elaborada em poucas frases, simples e precisas, em linguagem destituída do jargão técnico, de modo a ser entendida pelos usuários do sistema e pela administração da empresa, em geral. não deve fornecer detalhes sobre como o sistema deverá operar, e sim, concentrar no o quê o sistema deverá fazer; 17

Estudo de Caso Sistema Hotel

Documento de Requisitos (parcial) 1. O sistema deve permitir a inclusão, alteração e remoção de hóspedes do hotel, contendo os seguintes atributos: nome, endereço, cidade onde mora, estado, país, telefone, email, documento de identificação (RG ou CPF para brasileiros e passaporte para estrangeiros), data de nascimento e nome dos pais. 7. O sistema deve permitir a reserva de acomodação. Cada reserva possui os seguintes atributos: data e hora de chegada do hóspede, data e hora de saída do hóspede, identificação do hóspede principal (previamente cadastrado), tipo de acomodação desejada, nomes e idades dos acompanhantes, valor da diária, taxa de multa a ser cobrada em caso de desistência de última hora (a menos de 12 horas do início previsto de entrada), os dados do cartão de crédito do hóspede e desconto concedido (opcional). A reserva somente deve ser concretizada se houver vagas suficientes para atendê-la. Caso contrário deverá ser mostrada uma mensagem alertando que não há disponibilidade de acomodações para o período indicado. A remoção de reserva somente é permitida sem maiores encargos até 12 horas antes do início previsto para estadia no hotel. Após esse período, a remoção da reserva deve alertar o funcionário do hotel de que deve ser cobrada a taxa de multa estabelecida durante a reserva. 19

Modelo Ambiental Lista de Eventos Nr Evento Tipo Estimulo Ações Respostas Externas 1 Cliente registrase no hotel 2 Cliente reserva acomodação 3 Cliente cancela reserva (f.d.) dados_cliente Registrar hospedagem de Cliente (f.d.) pedido_reserva Reservar Acomodação (f.d) pedido_cancelamento_reserva Cancelar Reserva cliente_rejeitado ou cliente_registrado quarto_reservado ou quarto_indisponível 20

Modelo Ambiental - Diagrama de Contexto Cliente pedido_reserva pedido_cancelamento _reserva Sistema de Hotelaria dados_cliente cliente_rejeitado / cliente_registrado Cliente quarto_reservado / quarto_indisponível 21

MODELO ESSENCIAL Modelo Comportamental

MODELO COMPORTAMENTAL definido do ponto de vista interno; descreve de que maneira o sistema reage, internamente, aos estímulos vindos do exterior; mostra quais as ações que o sistema deve executar para responder, adequadamente, aos eventos previstos no modelo ambiental; Componentes do modelo comportamental: Um conjunto completo de Diagramas de Fluxo de Dados (DFD s) em níveis Dicionário de Dados, incluindo um conjunto de especificações de processos primitivos Diagrama Entidade-Relacionamento (DER) 23

Diagrama de Fluxo de Dados Diagrama de Bolhas - representa o modelo funcional ou modelo de processo de um sistema. Ferramenta gráfica que produz uma indicação de como os dados são transformados e como se movimentam através do sistema, ou seja, descreve o fluxo de informação e as transformações que são aplicadas à medida que os dados se movimentam da entrada para a saída. 24

Componentes do DFD Entidade Externa ou Terminal: um produtor ou um consumidor de informações que reside fora dos limites do sistema a ser modelado. refere-se à fonte ou destino dos fluxos de dados que chegam e saem do sistema; representada por substantivos no singular. Exemplos: Cliente, Sistema de Crédito, Fornecedor, Diretoria, Aluno, Professor; Notação: podem ser representadas mais de uma vez para evitar o cruzamento de linhas de fluxos de dados; Aluno Professor Professor Aluno Diretoria 25

Componentes do DFD Depósito de Dados: repositório de dados. representado por substantivos no plural. Exemplos: Produtos, Clientes, Contas_a_receber, Fornecedores; o nome do depósito de dados deve sugerir o seu conteúdo da forma mais sucinta possível; Notação: podem ser representados mais de uma vez para evitar o cruzamento de linhas de fluxos de dados; empregados empregados produtos clientes empregados clientes 26

Componentes do DFD Fluxo de Dados: um item de dado ou coleção de itens de dados. a seta indica a direção do fluxo de dados; representado por substantivos; Exemplos: relatório_de_vendas, pedido_do_cliente; cada fluxo de dados será indicado por um nome, que deverá sugerir o teor da informação em deslocamento; é ilícita a existência de fluxos de dados entre: duas entidades externas; dois depósitos de dados; uma entidade externa e um depósito de dados. Notação: 27

Componentes do DFD Processo ou bolha ou função: um transformador de informação que reside dentro dos limites do sistema a ser modelado. o nome da função deve esclarecer o que será feito, de forma objetiva: verbo + objeto; identificador de processo: n (n=1, 2, 3,...); identificador de processos filhos: n.m (m=1, 2, 3,...); o identificador de processo não mostra ordem de execução; Notação: 1 P1 < responsável > Evitar: verbos muito físicos, genéricos e técnicos, como: imprimir, gravar, digitar; processar, avaliar, analisar; deletar, computar. 28

Diretrizes para a Elaboração do DFD (Yourdon) 1) Escolher nomes significativos para os processos, fluxos de dados, depósitos de dados e entidades externas rotular o processo identificando o papel e não a pessoa; utilizar um verbo que represente a ação e um objeto; os nomes escolhidos devem provir de um vocabulário conhecido pelo usuário; o analista deve ter conhecimento mínimo sobre o domínio; 2) Numerar processos um modo prático de referenciar os processos de um DFD é numerá-los; isso não corresponde à uma seqüência de execução; a numeração dos processos auxilia na identificação de processos de níveis inferiores; 29

Diretrizes para a Elaboração do DFD (Yourdon) 3) Evitar DFDs complexos demais o propósito do DFD é modelar corretamente as funções que o sistema deve executar e as interações entre elas; modelar o DFD em uma série de níveis => DFDs de nível inferior oferecem detalhes dos processos de nível imediatamente superior (cada nível deve ter até 6 funções; para outros autores de 5 a 9 funções); o refinamento de DFDs ocorre até que sejam alcançadas as funções primitivas; 30

Modelo Comportamental DFD dados_reserva Cliente pedido_reserva * 1. Reservar acomodação reservas q_reservado pedido_cancelamento_ reserva 2. Cancelar reserva quarto_disponível reserva_cancelada acomodações quartos_disponíveis 3. Cancelar não comparecimento reservas_canceladas 31

DFD complexo 32

A f1 V W f2 f3 A X Y F f4 B Z Z1 f5 f6 Z3 Z2 f7 B X Y f41 f42 X1 Y1 f43 f44 X2 Y2 f45 Z Refinamentos de DFD 33

Diretrizes para a Elaboração do DFD (Yourdon) 4) Refazer os DFDs tantas vezes quantas forem necessárias até se obter uma boa estética, um DFD tecnicamente correto e aceitável pelo cliente; 5) Certificar-se de que o DFD seja logicamente consistente Evitar poços sem fundos (buracos negros) => processos que têm entradas mas não têm saídas; Evitar processos com geração espontânea => processos que têm saídas mas não têm entradas; a c a c Função z Função z b d b d 34

Diretrizes para a Elaboração do DFD (Yourdon) 5) Certificar-se de que o DFD seja logicamente consistente (cont.) Cuidado com fluxos e processos sem nome; Cuidado com depósitos de apenas leitura ou apenas escrita => um depósito típico deve ter entradas e saídas; A continuidade do fluxo de informação deve ser mantida, ou seja, a entrada e a saída em cada refinamento devem permanecer a mesma; É conveniente que, em cada nível de abstração, as funções estejam em um grau de detalhamento próximo; 35

DICIONÁRIO DE DADOS Repositório de informações sobre os componentes do modelo de sistemas: fluxos de dados, depósitos de dados e processos; Define: O significado (apresentado por comentários) dos fluxos e depósitos do DFD; A composição de pacotes de dados que se movimentam pelos fluxos; A composição dos pacotes de dados nos depósitos; Os valores e unidades relevantes de partes elementares dos fluxos e depósitos de dados; 36

Notação (Yourdon) Símbolo Significado = é composto de + e ( ) opcional { } iteração [ ] escolha de opções alternativas separa opções alternativas na construção [ ] ** comentário @ identificador (campo chave) de um depósito 37

Exemplos Opcional endereço_cliente=(endereço_de_remessa) + (endereço_de_cobrança) poderia ser somente o de remessas, somente o de cobrança, os dois, ou nenhum dos dois; endereço_cliente = endereço_de_remessa + (endereço_de_cobrança) endereço de remessa é obrigatório; endereço de cobrança é opcional; Escolha de Alternativas sexo = [M F] tipo_de_cliente = [Governo Indústria Universidade Outro] 38

Exemplos Iteração pedido = nome_do_cliente + endereço_de_remessa + {item} zero ou mais ocorrências de um item pode-se desejar especificar os limites superior e inferior da iteração; exemplo: um pedido sem itens não faz sentido. pedido = nome_do_cliente + endereço_de_remessa + 1 {item} 10 limite inferior superior 39

Modelo Comportamental DFD dados_reserva Cliente pedido_reserva 1. Reservar acomodação reservas acomodação_reservada pedido_cancelamento_ reserva 2. Cancelar reserva acomodação_disponível reserva_cancelada acomodações 40

Dicionário de Dados (Fluxos de Dados) pedido_reserva = nome + telefone + periodo dados_reserva = nome + tipo+ telefone + situação_reserva acomodação_indisponível = * mensagem quando não há acomodação disponível * acomodação_reservada = * mensagem quando foi efetivada a reserva de acomodação em determinado(s) período(s)* 41

Dicionário de Dados (Depósitos de Dados) Reservas = nome + telefone+ tipo + período + situação_reserva 42

Dicionário de Dados (Estruturas e Elementos de Dados) nome = ** telefone = ** tipo = * tipo de acomodação* período = início_hosp + fim_hosp situação_reserva = [ efetivada cancelada reservada quitada ] início_hosp = * data do início da reserva* fim_hosp = * data do fim da reserva* 43

Dicionário de Dados - Processos 2 - Cancelar Reserva início Obter pedido_cancelamento_reserva Procurar a(s) reserva(s) a ser(em) cancelada(s) no depósito reservas Atribuir cancelada à situação_reserva e Gravar reserva_cancelada no depósito reservas Procurar acomodação correspondente ao cancelamento no depósito acomodações e Atribuir disponível à situação_acomodação e Gravar acomodação_disponível no depósito acomodações fim 44