Especificação de um elevador de canecas