Contrato de Operações

Histórico de Revisão

Data	Versão	Descrição	Autor(es)
12/09/2015	1.0	Elaboração Inicial	Iago Rodrigues
08/10/2015	1.1	Adicionado mais contratos	Iago Rodrigues
21/11/2915	1.2	Adicionado mais contratos	Iago Rodrigues

---

Contrato de Operação 1 - Cadastrar Produto

Operação: CadastrarProduto()
Referências Cruzadas: Caso de Uso-> Cadastrar Produto
Pré-Condições: Estar logado na aplicação com uma conta do tipo "Gerente".
Pós-Condições: Um novo produto foi cadastrado; Uma instância de produto foi criada, com apenas os atributos Nome, Descrição e Categoria.

---

Contrato de Operação 2 - Alterar Produto

Operação: AlterarProduto()
Referências Cruzadas: Caso de Uso-> Alterar Produto
Pré-Condições: Um produto foi selecionado para ser alterado;
Pós-Condições: As alterações feitas no produto foram salvas; Apenas os atributos Nome, Descrição e Categoria podem ter sido alterados.

---

Contrato de Operação 3 - Criar Cotação

Operação: Criar Cotação()
Referências Cruzadas: Caso de Uso-> Criar Cotação
Pré-Condições: Estar logado com uma conta do tipo gerente;
Pós-Condições: Uma cotação foi criada com um conjunto de produtos associados. Os atributos managerName e quotationDate devem ser, respectivamente, o nome da conta atual que criou a cotação e a data atual do sistema. Esses atributos não podem ser setados manualmente.

Contrato de Operação 3 - Alterar Cotação

Operação: Alterar Cotação()
Referências Cruzadas: Caso de Uso-> Alterar Cotação
Pré-Condições: Estar logado com uma conta do tipo gerente; Uma cotação foi selecionada para ser editada.
Pós-Condições: A cotação recebe uma nova lista de produtos associadas a ela. Os atributos managerName e quotationDate não podem ser alterados.

Contrato de Operação 4 - Cadastrar Fornecedor

Operação: Cadastrar Fornecedor()
Referências Cruzadas: Caso de Uso-> Cadastrar Fornecedor
Pré-Condições: não se aplica.
Pós-Condições: O cadastro registrado fica pendente esperando a aprovação do gerente. A conta não pode estar disponível ainda.

Contrato de Operação 5 - Aprovar Cadastro do Fornecedor Fornecedor

Operação: Aprovar Cadastro do Fornecedor()
Referências Cruzadas: Caso de Uso-> Aprovar Cadastro do Fornecedor
Pré-Condições: Estar logado com uma conta do tipo gerente.
Pós-Condições: Caso seja aprovado, aquela conta deverá estar ativa, permitindo ao usuário logar naquela conta.
Caso seja reprovada, aquela conta deverá ser apagada do banco de dados e da lista de cadasdtro pendentes.