From SMART to agent systems development

Article English OPEN
Ashri, Ronald ; Luck, Michael ; d'Inverno, Mark (2005)
  • Publisher: Elsevier

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 <i>descriptive specification</i> 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 <i>behavioural</i> specification and a <i>structural</i> 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.
  • References (16)
    16 references, page 1 of 2

    [1] N. R. Jennings, On agent-based softare engineering, Artificial Intelligence 117 (2) (2000) 277-296.

    [2] J. Bryson, L. A. Stein, Architectures and Idioms: Making Progress in Agent Design, in: C. Castelfranchi, Y. LespĀ“erance (Eds.), Intelligent Agents VII. Agent Theories Architectures and Languages, Vol. 1986, Springer, 2001, pp. 73-88.

    [3] M. d'Inverno, M. Luck, Understanding Agent Systems, 2nd Edition, Springer, 2004.

    [4] J. Spivey, The Z Notation, 2nd Edition, Prentice Hall, 1992.

    [5] J. Cheesman, J. Daniels, UML Components: A Simple Process for Specifying Component-Based Software, Addison-Wesley, 2000.

    [6] D. D'Souza, A. Wills, Objects Components and Frameworks with UML, Addison-Wesley, 1998.

    [7] C. Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 1998.

    [8] A. S. Rao, M. P. Georgeff, BDI-agents: from theory to practice, in: Proceedings of the First International Conference on Multiagent Systems, AAAI Press/ The MIT Press, 1995, pp. 312-319.

    [9] T. Finin, Y. Labrou, J. Mayfield, KQML as an agent communication language, in: J. Bradshaw (Ed.), Software Agents, MIT Press, 1997.

    [10] M. d'Inverno, M. Luck, Engineering AgentSpeak(L): A Formal Computational Model, Journal of Logic and Computation 8 (3) (1998) 233-260.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    13
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Goldsmiths Research Online - IRUS-UK 0 12
    e-Prints Soton - IRUS-UK 0 1
Share - Bookmark