Migrating Web Services from ARIS 7.2