Alloy é uma linguagem de modelagem leve para design de software. Ela permite que você crie modelos precisos e verificáveis de
sistemas complexos, ajudando a identificar problemas e otimizar o desenho antes de escrever código.Com Alloy, é possível expressar regras de negócio e restrições de design de maneira clara 
e concisa, além de poder verificar automaticamente a consistência e a cobertura de casos de teste.
