Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Weiss, G. (ed.): Multiagent Systems. The MIT Press (April 1999)
Rao, A., Georgeff, M.: BDI agents: From theory to practice. In: Proceedings of the First International Conference on Multi-agent Systems (ICMAS 1995), San Francisco, CA, pp. 312–319 (1995)
Fortino, G., Garro, A., Mascillaro, S., Russo, W.: Using event-driven lightweight dsc-based agents for mas modelling. IJAOSE 4(2), 113–140 (2010)
Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press (1987)
Rao, A.: AgentSpeak (L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Jason Home Page (2004), http://www.jason.sourceforge.net/
Fortino, G., Rango, F., Russo, W.: Engineering multi-agent systems through statecharts-based jade agents and tools. T. Computational Collective Intelligence 7, 61–81 (2012)
Fortino, G., Russo, W.: Eldameth: An agent-oriented methodology for simulation-based prototyping of distributed agent systems. Information & Software Technology 54(6), 608–624 (2012)
Fichera, L., Marletta, D., Santoro, C., Nicosia, V.: A Methodology to Extend Imperative Languages with AgentSpeak Declarative Constructs. In: Workshop on Objects and Agents (WOA 2010), Rimini, Italy, September 5-7. CEUR-WS Publisher (2010) ISSN 1613-0073
Fichera, L., Marletta, D., Nicosia, V., Santoro, C.: Flexible Robot Strategy Design Using Belief-Desire-Intention Model. In: Obdržálek, D., Gottscheber, A. (eds.) EUROBOT 2010. CCIS, vol. 156, pp. 57–71. Springer, Heidelberg (2011)
Fortino, G., Russo, W., Zimeo, E.: A statecharts-based software development process for mobile agents. Information & Software Technology 46(13), 907–921 (2004)
Fortino, G., Rango, F.: An application-level technique based on recursive hierarchical state machines for agent execution state capture. Sci. Comput. Program. 78(6), 725–746 (2013)
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fortino, G., Russo, W., Santoro, C. (2013). Translating Statecharts-Based into BDI Agents: The DSC/PROFETA Case. In: Klusch, M., Thimm, M., Paprzycki, M. (eds) Multiagent System Technologies. MATES 2013. Lecture Notes in Computer Science(), vol 8076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40776-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-40776-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40775-8
Online ISBN: 978-3-642-40776-5
eBook Packages: Computer ScienceComputer Science (R0)