palavras-chave Alloy Analysis systems specification On-Line Analytical Processing Usage preferences What-If analysis