From Stakeholder Intentions to Agent Capabilities

Agents behavior at run time is influenced by the environment within which they operate, so designing agents able to behave in an effective way should benefit from a deep knowledge of that environment, including the stakeholders who have specific needs and expectations from the agents being designed. The specification of agents behavior is typically addressed during detail design, a step which precedes implementation. Analysis of the environment, on the other hand, is performed earlier, during domain and system requirements modelling, which rest on environmentand problemoriented abstractions. This motivates the need to support traceability between detailed design models of agents behavior and domain models and stakeholder requirements, and viceversa. Moreover, evaluation of agent behavior (i.e., is the agent doing what was intended?) is typically considered a run-time issues. To what extent this evaluation can be done at design time is still an open issue. Our goal in this paper is to address the problem of better linking requirements analysis to detailed design by focusing on the concept of agent capability and on capability modelling in Agent-Oriented Software Engineering. In particular, we revisit the definition of capability in Tropos, referring to definitions of this concepts proposed in current literature and refine the Troposdevelopment process in order to point out how capability specification can result from the integration of various analysis strategies. An example is used to illustrate.

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

[2]  John Mylopoulos,et al.  The Tropos Metamodel and its Use , 2005, Informatica.

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

[4]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[5]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[6]  Innes A. Ferguson TouringMachines: an architecture for dynamic, rational, mobile agents , 1992 .

[7]  Maurizio Panti,et al.  A Distributed Case-Based Query Rewriting , 2001, IJCAI.

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

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

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

[11]  Jörg P. Müller,et al.  A Cooperation Model for Autonomous Agents , 1996, ATAL.

[12]  Matthias Klusch,et al.  Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace , 2002, Autonomous Agents and Multi-Agent Systems.

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

[14]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

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

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