Exporting web service out of ARIS 7.2

Export the web services from ARIS 7.2 and save them as WSDL files.