Projeto de Alloy para a disciplina de Lógica para Computação
#Tema 23: Feira Online
A cidade de Campina Grande irá promover a Feira Online do Artesão, onde um artesão poderá se cadastrar na plataforma e cadastrar suas lojas e produtos também. Clientes podem visitar a loja e seguí-la. Um cliente tem em sua conta um lugar onde ficam todas as lojas que ele está seguindo e todos os produtos que por ele foram comprados. Como o cliente pode fazer compras, então o artesão deve apresentar na sua loja os produtos que estão disponíveis. Um cliente também pode comentar e avaliar uma loja, ficando assim o registro na mesma para que outros clientes possam ver, ele também pode deixar de seguir a loja. Itens em couro, metal, vime e papel maché são categorias de produtos. Um mínimo de 5 itens (3 em couro) têm que ser comprados para não haver frete.
Cliente: Gabriela Mota
Larissa Amorim
Hector Medeiros
Redson Farias
Thallyson José