From Stakeholder Intentions to Software Agent Implementations

Multi-Agent Systems have been proposed as a suitable conceptual and technological framework for building information systems which operate in open, evolving, heterogeneous environments. Our research aims at proposing design techniques and support tools for developing such complex systems. In this paper we address the problem of better linking requirements analysis to detailed design and implementation in the Tropos agent-oriented methodology with the aim to address adaptability issues. In particular, we revisit the definition of agent capability in Tropos and refine the development process in order to point out how capability specification can result from the integration of various analysis strategies. We also show how fragments of an implementation can be generated automatically from an agent capability specification.

[1]  Anna Perini,et al.  Developing Tools for Agent-Oriented Visual Modeling , 2004, MATES.

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

[3]  Massimo Cossentino,et al.  From Requirements to Code with PASSI Methodology , 2005 .

[4]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[5]  Jianhua Ma,et al.  Internet Multimedia Computing - Guest Editors' Introduction , 2001, Int. J. Softw. Eng. Knowl. Eng..

[6]  Anna Perini,et al.  Agent-oriented visual modeling and model validation for engineering distributed systems , 2005, Comput. Syst. Sci. Eng..

[7]  Michael Winikoff,et al.  A model driven component-based development framework for agents , 2005, Comput. Syst. Sci. Eng..

[8]  T. Gardner,et al.  A review of OMG MOF 2 . 0 Query / Views / Transformations Submissions and Recommendations towards the final Standard , 2003 .

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

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

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

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

[13]  John Mylopoulos,et al.  From Stakeholder Intentions to Agent Capabilities , 2006 .

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

[15]  John Mylopoulos,et al.  Towards requirements-driven information systems engineering: the Tropos project , 2002, Inf. Syst..

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

[17]  D. Carver,et al.  Supporting rigorous evolution of UML models , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[18]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[19]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.