A design framework for generating BDI-agents from goal models

We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design process as a transformation process from platform-independent design models to platform-specific models and then to code. The design framework is demonstrated by referring to the Tropos methodology and to the JADE/Jadex platform. In this short paper, key steps in the process are illustrated through an example.

[1]  Victor R. Lesser,et al.  A retrospective view of FA/C distributed problem solving , 1991, IEEE Trans. Syst. Man Cybern..

[2]  Brian Henderson-Sellers,et al.  Agent-oriented methodologies , 2005 .

[3]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[4]  Munindar P. Singh,et al.  Interaction protocols as design abstractions for business processes , 2005, IEEE Transactions on Software Engineering.

[5]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[6]  John Mylopoulos,et al.  From Stakeholder Intentions to Software Agent Implementations , 2006, CAiSE.

[7]  Michael Winikoff,et al.  Prometheus: a practical agent oriented methodology , 2005 .

[8]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.

[9]  Stefano Paraboschi,et al.  Database Systems: Concepts, Languages & Architectures , 1999 .

[10]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[11]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[12]  Nicholas R. Jennings,et al.  Foundations of distributed artificial intelligence , 1996, Sixth-generation computer technology series.

[13]  John Mylopoulos,et al.  From Capability Specifications to Code for Multi-Agent Software , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[14]  K. Haase,et al.  Automated discovery , 1988 .

[15]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[16]  Abraham Silberschatz,et al.  Database Systems Concepts , 1997 .

[17]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[18]  Edmund H. Durfee,et al.  Coordination as distributed search in a hierarchical behavior space , 1991, IEEE Trans. Syst. Man Cybern..

[19]  Michael Winikoff,et al.  Hermes: Designing Goal-Oriented Agent Interactions , 2005, AOSE.

[20]  Nicholas R. Jennings,et al.  Coordination techniques for distributed artificial intelligence , 1996 .

[21]  Franco Zambonelli,et al.  Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology , 2005, AOSE.

[22]  Axel Uhl,et al.  MDA Distilled , 2004 .

[23]  Lin Padgham,et al.  Formalisations of Capabilities for BDI-Agents , 2005, Autonomous Agents and Multi-Agent Systems.

[24]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[25]  Joanna Bryson,et al.  Toward Behavioral Intelligence in the Semantic Web , 2002, Computer.

[26]  Michael Winikoff,et al.  Towards a Component-Based Development Framework for Agents , 2004, MATES.