Operational Semantics of a Role-based Agent Architecture

Abstract

This paper 1 introduces a formal description of the operational seman- tics of an agent architecture based on the agent-group-role description expressed in the AALAADIN model. This formalization is based on the -calculus and the Chemical Abstract Machine (CHAM). By mapping an agent to a set of -calculus processes and action contexts to CHAM solutions, we show that it is possible to associate a precise semantics for the definition and dynamics of agents, groups and roles, independently of any implementation. We show that our formalization verifies the properties of A ALAADIN: agents act in several groups simultaneously, communications are described through ab- stract roles interaction, and organization management is performed by individual agents.