Translation of statechart agents into a BDI framework for MAS engineering

In the agent-oriented computing area, different programming paradigms have been to date proposed to design and implement multi-agent systems (MAS). Among them, the Belief-Desire-Intention (BDI) and Statecharts-based models have emerged as they effectively support the definition of rational and protocol-oriented agent behaviors, respectively. In this paper, we investigate the translation between such models by using two available agent modeling languages: PROFETA, which is based on the BDI agent model, and the agent-oriented Distilled StateCharts (DSC) formalism, which allows modeling agent behaviors based on Statecharts-like state machines. In particular, we propose a mapping from DSC to PROFETA that can enable visual programming of PROFETA programs to facilitate the development of PROFETA-based autonomous systems. A case-study is also developed to exemplify the proposed engineering approach.

[1]  Martin L. Griss,et al.  Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors , 2002, AOSE.

[2]  Corrado Santoro,et al.  Integrating Cloud Services in Behaviour Programming for Autonomous Robots , 2013, ICA3PP.

[3]  Giancarlo Fortino,et al.  PASSIM: a simulation-based process for the development of multi-agent systems , 2008, Int. J. Agent Oriented Softw. Eng..

[4]  Michael Winikoff,et al.  JACKTM Intelligent Agents: An Industrial Strength Platform , 2005, Multi-Agent Programming.

[5]  Giancarlo Fortino,et al.  An application-level technique based on recursive hierarchical state machines for agent execution state capture , 2013, Sci. Comput. Program..

[6]  Hyacinth S. Nwana,et al.  ZEUS: A Toolkit for Building Distributed Multiagent Systems , 1999, Appl. Artif. Intell..

[7]  Franco Zambonelli,et al.  Process models for agent-based development , 2005, Eng. Appl. Artif. Intell..

[8]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[9]  Corrado Santoro,et al.  A Methodology to Extend Imperative Languages with AgentSpeak Declarative Constructs , 2010, WOA.

[10]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[11]  Giancarlo Fortino,et al.  ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems , 2007, WOA.

[12]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[13]  Giancarlo Fortino,et al.  Using event-driven lightweight DSC-based agents for MAS modelling , 2010, Int. J. Agent Oriented Softw. Eng..

[14]  Yoav Shoham,et al.  AGENT0: A Simple Agent Language and Its Interpreter , 1991, AAAI.

[15]  Corrado Santoro,et al.  Flexible Robot Strategy Design Using Belief-Desire-Intention Model , 2010, Eurobot Conference.

[16]  Giancarlo Fortino,et al.  Translating Statecharts-Based into BDI Agents: The DSC/PROFETA Case , 2013, MATES.

[17]  Winfried Lamersdorf,et al.  Jadex: A BDI-Agent System Combining Middleware and Reasoning , 2005 .

[18]  Giancarlo Fortino,et al.  ELDAMeth: An agent-oriented methodology for simulation-based prototyping of distributed agent systems , 2012, Inf. Softw. Technol..

[19]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[20]  Giancarlo Fortino,et al.  A statecharts-based software development process for mobile agents , 2004, Inf. Softw. Technol..

[21]  Rafael H. Bordini,et al.  BDI agent programming in AgentSpeak using Jason , 2006 .

[22]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[23]  Corrado Santoro,et al.  A goal-centric framework for behaviour programming in autonomous robotic systems , 2014, 2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded Systems and Applications (MESA).

[24]  Jorge J. Gómez-Sanz,et al.  Modelling and simulation of social systems with INGENIAS , 2008, Int. J. Agent Oriented Softw. Eng..

[25]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[26]  Chang-Hyun Jo,et al.  The Agent-based Programming Language: APL , 2002, SAC '02.

[27]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[28]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[29]  Agostino Poggi,et al.  Developing multi‐agent systems with a FIPA‐compliant agent framework , 2001 .

[30]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.