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

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.

Keywords

JADE transition systems formal semantics

Get full access to this article

View all access options for this article.

References

James Alves-Foss. Formal syntax and semantics of Java. Number 1523. Springer Science & Business Media, 1999.

Baldoni

, Baroglio

and Capuzzimati

, Typing multiagent systems via commitments. ‘Post-Procs. 2nd Int’l Workshop on Engineering Multi-Agent Systems (EMAS 2014), Revised Selected and Invited Papers (2014), 388–405.

Bellifemine

, Caire

and Greenwood

. Developing multiagent systems with JADE. Wiley Series in Agent Technology, 2007.

Bergenti

and Poggi

. Agent-based approach to manage negotiation protocols in flexible CSCW systems. In Procs 4th Int’l Conf. Autonomous Agents (2000), 267–268.

Bergenti

and Poggi

, Ubiquitous information agents, Int’l J Cooperative Information Systems11(34) (2002), 231–244.

Bergenti

, Poggi

, Burg

and Caire

, Deploying FIPAcompliant systems on handheld devices, IEEE Internet Computing5(4) (2001), 20–25.

Bergenti

, Poggi

and Somacher

, A collaborative platform for fixed and mobile networks, Communications of the ACM45(11) (2002), 39–44.

Bergenti

, Caire

and Gotta

. Agent-based social gaming with AMUSE. In Procs. 5th Int’l Conf. Ambient Systems, Networks and Technologies (ANT 2014) and 4th Int’l Conf. Sustainable Energy Information Technology (SEIT 2014), Procedia Computer Science, pages 914–919. Elsevier, 2014.

Bergenti

, Caire

and Gotta

. Agents on the move: JADE for Android devices. In Procs Workshop From Objects to Agents, 2014.

10.

Bergenti

, Caire

and Gotta

. Large-scale network and service management with WANTS. In Industrial Agents: Emerging Applications of Software Agents in Industry, pages 231–246. Elsevier, 2015.

11.

Koen V. Hindriks, Frank S. De Boer, Wiebe Van Der Hoek and Jon-Jules Meyer. An operational semantics for the single agent core of AGENT0. Technical Report UU-CS-1999-30, Department of Computer Science, University of Utrecht, 1999.

12.

Kravari

Kalliopi

and Bassiliades

Nick

. A survey of agent platforms,11. ISSNJournal of Artificial Societies and Social Simulation18(1) (2015), 11. ISSN 1460-7425.

13.

Plotkin

Gordon D.

. A Structural approach to Operational Semantics, J Log Algebr Program60-61 (2004), 17–139

14.

Rao

Anand S.

. AgentSpeak(L): BDI agents speak out in a logical computable language, Agents Breaking Away (1996), 42–55.

15.

Shoham

Yoav

. An overview of agent-oriented programming. Software Agents4 (1997).