Programming mobile intelligent agents: An operational semantics

Article type: Research Article

Authors: Suna, A. | El Fallah Seghrouchni, A.

Affiliations: University Pierre et Marie Curie – Paris 6, LIP6 – CNRS UMR 7606, 8 Rue du Capitaine Scott 75015 Paris, France

Note: [] Corresponding author. E-mail: [email protected]

Abstract: This paper presents the operational semantics of an agent-oriented programming language called CLAIM. CLAIM allows to design multi-agent systems that support both stationary and mobile agents, endowed with cognitive capabilities and able to communicate. The semantics takes into account agents' reasoning, mobility, communication and concurrence, and contains a set of reduction rules between coherent states of a program. The operational semantics is a first step towards the formal verification of agent-based programs written in CLAIM. The reduction rules are illustrated on a case study.

Keywords: Multi-agent systems, agent-oriented programming, mobile agents, operational semantics

Journal: Web Intelligence and Agent Systems: An international journal, vol. 5, no. 1, pp. 47-67, 2007