Projeto de Alloy para a disciplina Lógica para Computação. O projeto consiste na implantação de um sistema de organização para uma imobiliária.
Grupo de Trabalho
- André
- Evelinne
- Gustavo
- Vitor
Linguagem de implementação: Alloy
----- Tema do Projeto -----
Tema 3: Imobiliária
Uma imobiliária deseja se atualizar para continuar se expandindo no mercado e para isso decidiu implantar um novo sistema de organização para a empresa, para com isso ganhar em agilidade e rapidez no controle dos seus empregados. Esse sistema deve fornecer a informação de todos os empregados da empresa, sendo distribuídos pelos cargos de gerente, sub-gerente e vendedor. A empresa possui um único gerente, esse gerente supervisiona n sub-gerentes e cada sub-gerente supervisiona 3 vendedores. Um vendedor só pode realizar 3 vendas de imóveis por semana (por conta da burocracia e pela qualidade do serviço) e se o número de vendas de imóveis na semana ultrapassar o número permitido pelo número de vendedores, então um novo vendedor deve ser contratado e o número de sub-gerentes deve ser revisto. No ato da venda, o imóvel passa os 3 primeiros dias em vistoria para ser liberado ao cliente e os 4 últimos dias com a equipe de limpeza, apenas após a vistoria e limpeza que o imóvel é considerado como vendido.
Cliente: Oliveiros Neto