Translating Statecharts-Based into BDI Agents: The DSC/PROFETA Case

In the agent-oriented computing area, different programming models have been to date proposed to design and implement multi-agent systems (MAS). Among them, the Belief-Desire-Intention (BDI) and state machine-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, from one hand, visual programming of PROFETA programs to facilitate the development of PROFETA-based MAS and, from the other hand, simulation of DSC-based agent systems through the execution support offered by the PROFETA engine