This image shows the Export WSDL option, which displays when you right-click the Web service name.