Programming mobile intelligent agents: an operational semantics

Alexandru Suna Amal El Fallah Seghrouchni 1
1 SMA - Systèmes Multi-Agents
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Type de document :
Article dans une revue
Web Intelligence and Agent Systems, IOS Press, 2007, 5 (1), pp.47-67
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01170015
Contributeur : Lip6 Publications <>
Soumis le : mardi 30 juin 2015 - 16:48:54
Dernière modification le : dimanche 9 décembre 2018 - 01:26:42

Identifiants

  • HAL Id : hal-01170015, version 1

Collections

Citation

Alexandru Suna, Amal El Fallah Seghrouchni. Programming mobile intelligent agents: an operational semantics. Web Intelligence and Agent Systems, IOS Press, 2007, 5 (1), pp.47-67. 〈hal-01170015〉

Partager

Métriques

Consultations de la notice

78