O formato XML utilizado para descrever os serviços de Web services, especificando como acessá-los, e quais as operações ou métodos que estão disponíveis, é chamado de