title
Computação Deliveries

Integrantes:

Ana Carolina Chaves de Vasconcelos	ana.vasconcelos@ccc.ufcg.edu.br
Artur Brito Souza	artur.souza@ccc.ufcg.edu.br
Leonardo Veiga de Medeiros Porfírio	leonardo.porfirio@ccc.ufcg.edu.br
Luciano Erick Sousa Figueiredo Filho	luciano.erick.filho@ccc.ufcg.edu.br

Especificação:

Descrição: A empresa Computação Deliveries está querendo desenvolver um novo sistema para administrar as suas entregas. A empresa trabalha com três tipos de encomendas: pequena, média e grande; Tendo algumas restrições: encomendas do tipo pequena e média podem ser entregues por qualquer tipo de entregador, entretanto, as encomendas grandes só podem ser entregues por entregadores especiais.

• Além disso, a empresa possui um sistema diferenciado para clientes: cliente normal e cliente prime. A diferença entre os tipos de clientes está na quantidade de encomendas que eles podem receber durante um dado período: cliente normal pode receber até 3 encomendas de qualquer tipo, enquanto cliente prime pode receber até 6 encomendas.

• Em relação ao sistema de pagamento, o cliente precisa pagar e receber a confirmação do pagamento para poder receber a encomenda, ou seja, a entrega só pode ter o status de entregue, se o pagamento estiver confirmado. Caso o contrário, o status da entrega deve ser “Aguardando”.

Cliente: Tibério

Importante:

• Para executar no linux: Digite => java -jar org.alloytools.alloy.dist.jar