Previous: Environment Up: Desiderata

Reliability

A communication language must support reliable and secure communication among agents. Provisions for secure and private exchanges between two agents should be supported. There should be a way to guarantee authentication of agents. We should not assume that agents are infallible or perfect-they should be robust to inappropriate or malformed messages. The language should support reasonable mechanisms for identifying and signaling errors and warnings.