A programming language for autonomous and mobile agents

This paper proposes a language called CLAIM for computational language for autonomous intelligent and mobile agents. CLAIM allows to design multi-agent systems that support both stationary and mobile agents. Agents designed thanks to CLAIM are endowed with cognitive capabilities (e.g. reasoning), are able to communicate with other agents (send and receive several kinds of messages) and are mobile. The primitives of mobility are inspired from the ambient calculus. The CLAIM language is supported by a multi-platform system (SyMPA) compliant with the standard MASIF (OMG specifications); i.e. agents can be distributed over several sites and can move from one to another with respect to MASIF specifications. This paper presents the main features of our language CLAIM and an example to illustrate its applicability.