Beweglicher Mittel-Service V1.0 Januar 2000 A-3 A Ausnahme MAFExtendedException { }; Ausnahme NameInvalid { }; Ausnahme ResumeFailed { }; Ausnahme SuspendFailed { }; Ausnahme TerminateFailed { }; /******************************************************************/ /* Schnittstellendefinitions*/ /******************************************************************/ Schnittstelle MAFFinder { leeres register_agent ( im Namensagent_name im Positionsagent_location in AgentProfile agent_profile) Erhöhungen (NameInvalid); leeres register_agent_system ( im Namensagent_system_name im Positionsagent_system_location in den agent_system_info) Erhöhungen AgentSystemInfo (NameInvalid); leeres register_place ( im Zeichenketteplace_name in den Positionsplace_location) Erhöhungen (NameInvalid); Positionen lookup_agent ( im Namensagent_name in den agent_profile) Erhöhungen AgentProfile (EntryNotFound); Positionslookup_agent_system ( im Namensagent_system_name im agent_system_info AgentSystemInfo) Erhöhungen (EntryNotFound); Positionslookup_place (im Zeichenketteplace_name) Erhöhungen (EntryNotFound); leeres unregister_agent (im Namensagent_name) Erhöhungen (EntryNotFound); leeres unregister_agent_system (im Namensagent_system_name) Erhöhungen (EntryNotFound); leeres unregister_place (im Zeichenketteplace_name) Erhöhungen (EntryNotFound); }; Schnittstelle MAFAgentSystem { Namenscreate_agent (im Namensagent_name, in AgentProfile agent_profile, in OctetString Mittel, in der Zeichenkette place_name, in den Argumenten Argumente, in den class_names ClassNameList in der Zeichenkette code_base, in MAFAgentSystemclass_provider) hebt an (ClassUnknown, ArgumentInvalid, DeserializationFailed, MAFExtendedException);