A WSDL fragment for a REST Web service.