Talos: an architecture for self-configuration

Autonomic computing concerns the design and development of software systems with self-maintenance capabilities and behaviors that conform to high-level policies. Self-reconfiguration is a key feature of an autonomic system. It enables self-transition from the current configuration, which may have failed or be under-performing, to a new configuration that better addresses system goals. In this paper, we propose Talos, a conceptual architecture based on the Belief-Desire-Intention (BDI) paradigm that supports various forms of self-reconfiguration. We also present a first realization of Talos in Jason, a BDI infrastructure based on the AgentSpeak programming language. Our approach follows software engineering principles and is founded on goal-oriented analysis from Requirements Engineering.

[1]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[2]  Jeffrey O. Kephart,et al.  An artificial intelligence perspective on autonomic computing policies , 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

[3]  Yijun Yu,et al.  An automated approach to monitoring and diagnosing requirements , 2007, ASE.

[4]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[5]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

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

[7]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[8]  Yijun Yu,et al.  On Goal-based Variability Acquisition and Analysis , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[9]  Michael Wooldridge,et al.  The theory and practice of intention reconsideration , 2004, J. Exp. Theor. Artif. Intell..

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

[11]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[12]  Ying Chen,et al.  Self-reconfiguration of service-based systems: a case study for service level agreements and resource optimization , 2005, IEEE International Conference on Web Services (ICWS'05).

[13]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

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

[15]  John Thangarajah,et al.  Aborting tasks in BDI agents , 2007, AAMAS '07.

[16]  John Mylopoulos,et al.  High variability design for software agents: Extending Tropos , 2007, TAAS.

[17]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[18]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

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

[20]  Steve R. White,et al.  Unity: experiences with a prototype autonomic computing system , 2004, International Conference on Autonomic Computing, 2004. Proceedings..

[21]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[22]  Sheila A. McIlraith,et al.  Representing and Reasoning with Preference Requirements Using Goals (revised) No: CSRG-542 , 2009 .

[23]  Peyman Oreizy,et al.  Architecture-based runtime software evolution , 1998, Proceedings of the 20th International Conference on Software Engineering.

[24]  John Mylopoulos,et al.  A design framework for generating BDI-agents from goal models , 2007, AAMAS '07.

[25]  Petr Jan Horn,et al.  Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .

[26]  James M. Purtilo,et al.  Planning for change: a reconfiguration language for distributed systems , 1994, Distributed Syst. Eng..

[27]  James Bailey,et al.  Managing Semantic Compensation in a Multi-agent System , 2004, CoopIS/DOA/ODBASE.

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

[29]  Richard Harper,et al.  Inside the Smart Home , 2003, Springer London.