void terminate_agent(String agent_name)

Im Gegensatz zur Ausführung und Migration kann die Terminierung eines Agenten wieder über die Agentensystemschnittstelle MASAs abgewickelt werden. Zur Terminierung genügt die Angabe des Agentennamen. Dieser String wird in ein Datum des Typs CfMAF.Name umgewandelt, wobei der Agentensystemtyp auf Voyager gesetzt wird, damit das MASA System die Behandlung der Agententerminierung dem registrierten VoyagerAgentManager überläßt und nicht dem MASA AgentManager. Nach erfolgreicher Terminierung durch MASA muß dieser Vorgang analog zur Erstellung eines Agenten durch Ablage des Agentennamen in _agentsTerminatedByApplet protokolliert werden, um eine Meldung des NamingGateway über terminierte Agenten klassifizieren zu können.