This paper proposes a formalization of JADE agents and multi-agent systems based on transition systems. The first section introduces the aims and scope of the research and it focuses the content of the paper. The second section enumerates the abstractions and the structures used in the formalization. Successively, third section presents the formal semantics of the parts of a JADE-based source code that are involved in the management of (i) the life cycle of agents and (ii) the behaviours of agents. Fourth section shows a very simple JADE agent and it exemplifies the use of the proposed transition system. Finally, a brief recapitulation of the work concludes the paper.

Outline of a Formalization of JADE Multi-Agent Systems / Bergenti, Federico; Iotti, Eleonora; Poggi, Agostino. - ELETTRONICO. - 1382:(2015), pp. 123-128. (Intervento presentato al convegno 16th Workshop "From Objects to Agents" tenutosi a Napoli nel 2015).

Outline of a Formalization of JADE Multi-Agent Systems

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

Abstract

This paper proposes a formalization of JADE agents and multi-agent systems based on transition systems. The first section introduces the aims and scope of the research and it focuses the content of the paper. The second section enumerates the abstractions and the structures used in the formalization. Successively, third section presents the formal semantics of the parts of a JADE-based source code that are involved in the management of (i) the life cycle of agents and (ii) the behaviours of agents. Fourth section shows a very simple JADE agent and it exemplifies the use of the proposed transition system. Finally, a brief recapitulation of the work concludes the paper.
2015
Outline of a Formalization of JADE Multi-Agent Systems / Bergenti, Federico; Iotti, Eleonora; Poggi, Agostino. - ELETTRONICO. - 1382:(2015), pp. 123-128. (Intervento presentato al convegno 16th Workshop "From Objects to Agents" tenutosi a Napoli nel 2015).
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: https://hdl.handle.net/11381/2798336
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact