From SMART to agent systems development

In order for agent-oriented software engineering to prove effective it must use principled notions of agents and enabling specification and reasoning, while still considering routes to practical implementation. This paper deals with the issue of individual agent specification and construction, departing from the conceptual basis provided by the smart agent framework. smart offers a descriptive specification of an agent architecture but omits consideration of issues relating to construction and control. In response, we introduce two new views to complement smart: a behavioural specification and a structural specification which, together, determine the components that make up an agent, and how they operate. In this way, we move from abstract agent system specification to practical implementation. These three aspects are combined to create an agent construction model, actsmart, which is then used to define the AgentSpeak(L) architecture in order to illustrate the application of actsmart.

[1]  Michael Luck,et al.  Engineering AgentSpeak(L): A Formal Computational Model , 1998, J. Log. Comput..

[2]  Michael Luck,et al.  Motivated Behaviour for Goal Adoption , 1998 .

[3]  Keith S. Decker,et al.  Towards a Distributed, Environment-Centered Agent Framework , 1999, ATAL.

[4]  John Daniels,et al.  UML Components: A Simple Process for Specifying Component-Based Software , 2000 .

[5]  Michael Luck,et al.  A Framework for Patterns in Gaia: A Case-Study with Organisations , 2004, AOSE.

[6]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[7]  Iyad Rahwan,et al.  Architectures for Negotiating Agents , 2003, CEEMAS.

[8]  Michael Luck,et al.  Understanding Agent Systems , 2001, Springer Series on Agent Technology.

[9]  Nicholas R. Jennings On Agent-Based Software Engineering" Artificial Intelligence , 2000 .

[10]  Michael Luck,et al.  An Agent Construction Model for Ubiquitous Computing Devices , 2004, AOSE.

[11]  John Nicholls,et al.  Z notation , 1994 .

[12]  Joanna Bryson,et al.  Architectures and Idioms: Making Progress in Agent Design , 2000, ATAL.

[13]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[14]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

[15]  Cristiano Castelfranchi,et al.  Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages , 2000 .

[16]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[17]  Michael Luck,et al.  Motivated Behavior for Goal Adoption , 1998, DAI.

[18]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[19]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[20]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[21]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.