Linguagem de especificação de alto nível
