SMART WSDL is available <a href='SMART_webservice.wsdl'>here</a>.