Software self-reconfiguration: a BDI-based approach

ABSTRACT

Software self-reconfiguration is the capability of software systems to change autonomously their current configuration to a better one. This is a more and more requested feature, particularly for software systems that operate in critical domains when human intervention is not possible or not convenient. The Belief-Desire-Intention (BDI) architecture proposes a structured Monitor-Diagnose-Compensate cycle that partially meets self-reconfiguration requirements. We propose a realization of the abstract BDI control loop and we draw generic solutions to support the self-reconfiguration process. We aim at supporting traceability and runtime monitoring of requirements and we base our solution on Tropos goal models to structure agents' internal state.

REFERENCES

• 1: Rafael H. Bordini , Michael Wooldridge , Jomi Fred Hübner, Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology), John Wiley & Sons, 2007
• 2: Paolo Bresciani , Anna Perini , Paolo Giorgini , Fausto Giunchiglia , John Mylopoulos, Tropos: An Agent-Oriented Software Development Methodology, Autonomous Agents and Multi-Agent Systems, v.8 n.3, p.203-236, May 2004 [doi>10.1023/B:AGNT.0000018806.20944.ef]
• 3: Hector Garcia-Molina , Kenneth Salem, Sagas, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.249-259, May 27-29, 1987, San Francisco, California, United States
• 4: J. Mylopoulos , L. Chung , B. Nixon, Representing and Using Nonfunctional Requirements: A Process-Oriented Approach, IEEE Transactions on Software Engineering, v.18 n.6, p.483-497, June 1992 [doi>10.1109/32.142871]
• 5: ]]A. Rao and M. Georgeff. An abstract architecture for rational agents. Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439--449, 1992.
• 6: Yiqiao Wang , Sheila A. McIlraith , Yijun Yu , John Mylopoulos, An automated approach to monitoring and diagnosing requirements, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA [doi>10.1145/1321631.1321675]
• 7: ]]M. Wooldridge. Reasoning About Rational Agents. MIT Press, 2000.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence

General Terms:
Algorithms, Design

Keywords:
BDI, multi-agent systems, self-reconfiguration