void migrate_agent(String agent_name, String target, String execute, Object [] arguments)

Die Migration eines Agenten erfolgt wie execute_agent() in einer neu eingeführten Methode. Die Parameter entsprechen bis auf die Liste der Argumente den in der migrate_agent()-Methode des VoyagerMasaGatewayStationaryAgents beschriebenen Parametern. Bei der Angabe des Voyager Servers auf den migriert wird muß beachtet werden, daß der Hostname mit der gesamten Domainbezeichnung und der Portnummer angegeben werden muß. Nach der Migration der Voyager Agenten wird die Lokaltransparenz von Voyager aufgehoben, indem der migrierte Agent dem Namespace des neuen Voyager Servers zugeordnet wird. Da bei einer Terminierung des Voyager Servers von dem wegmigriert wurde, die Referenz auf den Agenten verloren gehe würde, wird durch die Abbildung der Migration auf den Namespace verhindert.