Export the web services from ARIS 7.2 and save them as WSDL files.
Topics
Exporting web services out of ARIS
Exporting an XML schema out of ARIS