XML templates for constraints (XTC): um nível de abstracção para linguagens de especificação de restrições