This paper presents the key aspects of a proposed formalization of JADE agents and multi-agent systems based on transition systems. Such a formalization is meant to be useful to describe and clarify how JADE multi-agent systems work and to provide a theoretical instrument to validate and analyze the semantics of JADE agents. This is needed to decouple agent-oriented and object-oriented parts of an agent design and to avoid misunderstandings on the semantics of JADE agents. The chosen approach is to define a structural operational semantics for Java programs written using JADE, and the proposed formalization consists in two parts: the first identifies and defines the main entities that together compose a JADE multi-agent system; the second provides the transition system and rewriting rules. The paper terminates with two explanatory examples of the usage of the transition system. A brief recapitulation of the work concludes the paper.

An outline of the use of transition systems to formalize JADE agents and multi-agent systems / Bergenti, Federico; Iotti, Eleonora; Poggi, Agostino. - In: INTELLIGENZA ARTIFICIALE. - ISSN 1724-8035. - 9:2(2015), pp. 149-161. [10.3233/IA-150085]

An outline of the use of transition systems to formalize JADE agents and multi-agent systems

BERGENTI, Federico;IOTTI, ELEONORA;POGGI, Agostino
2015

Abstract

This paper presents the key aspects of a proposed formalization of JADE agents and multi-agent systems based on transition systems. Such a formalization is meant to be useful to describe and clarify how JADE multi-agent systems work and to provide a theoretical instrument to validate and analyze the semantics of JADE agents. This is needed to decouple agent-oriented and object-oriented parts of an agent design and to avoid misunderstandings on the semantics of JADE agents. The chosen approach is to define a structural operational semantics for Java programs written using JADE, and the proposed formalization consists in two parts: the first identifies and defines the main entities that together compose a JADE multi-agent system; the second provides the transition system and rewriting rules. The paper terminates with two explanatory examples of the usage of the transition system. A brief recapitulation of the work concludes the paper.
An outline of the use of transition systems to formalize JADE agents and multi-agent systems / Bergenti, Federico; Iotti, Eleonora; Poggi, Agostino. - In: INTELLIGENZA ARTIFICIALE. - ISSN 1724-8035. - 9:2(2015), pp. 149-161. [10.3233/IA-150085]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11381/2798335
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 2
social impact