void migrate_agent(String agent_name, String target, String execute, String arguments)

Wie die zuvor beschriebene execute_agent()-Methode muß auch migrate_agent() sich direkt an den VoyagerAgentManager wenden, um einen Voyager Agenten zu migrieren. Neben der Angabe des Agentennamen und des Voyager Servers, hier target genannt, wird ein Methodenname - execute - und die nötigen Argumente - arguments - für die Methode übergeben. Voyager bietet die Möglichkeit nach einer Migration eine Methode auszuführen, wobei ein Rückgabewert dieser Methode nicht verwertet werden kann. Die Umwandlung der Argumente geschieht analog wie oben beschrieben bei execute_agent(). Zur Migration und Ausführung des Agenten wird die gleichnamige Methode migrate_agent() des VoyagerAgentManagers aufgerufen. Nach erfolgreicher Migration muß der Agentenname in die Vektoren _agentsCreatedByApplet und _agentsTerminatedByApplet eingetragen werden, da der Voyager Agent vom VoyagerAgentManager aus dem Namensverzeichnis des Voyager Servers, von dem wegmigriert wurde, ausgetragen und in des Namenverzeichnis des neuen Voyager Servers eingetragen wird. Dieser Vorgang vom NamingGateway als Terminierung und Erzeugung eines Agenten registriert, darf jedoch nicht beachtet werden (s. Absatz ``migrate_agent()'' in 4.4.2 ).