Programming mobile intelligent agents: an operational semantics - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Web Intelligence and Agent Systems Année : 2007

Programming mobile intelligent agents: an operational semantics

Résumé

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.
Fichier non déposé

Dates et versions

hal-01170015 , version 1 (30-06-2015)

Identifiants

  • HAL Id : hal-01170015 , version 1

Citer

Alexandru Suna, Amal El Fallah-Seghrouchni. Programming mobile intelligent agents: an operational semantics. Web Intelligence and Agent Systems, 2007, 5 (1), pp.47-67. ⟨hal-01170015⟩
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More