• DocumentCode
    3599297
  • Title

    Self-Explanation in Adaptive Systems

  • Author

    Bencomo, Nelly ; Welsh, K. ; Sawyer, Pete ; Whittle, Jon

  • Author_Institution
    INRIA Paris-Rocquencourt, Le Chesnay, France
  • fYear
    2012
  • Firstpage
    157
  • Lastpage
    166
  • Abstract
    The behaviour of self adaptive systems can be emergent. The difficulty in predicting the system´s behaviour means that there is scope for the system to surprise its customers and its developers. Because its behaviour is emergent, a self-adaptive system needs to garner confidence in its customers and it needs to resolve any surprise on the part of the developer during testing and mainteinance. We believe that these two functions can only be achieved if a self-adaptive system is also capable of self-explanation. We argue a self-adaptive system´s behaviour needs to be explained in terms of satisfaction of its requirements. Since self-adaptive system requirements may themselves be emergent, a means needs to be found to explain the current behaviour of the system and the reasons that brought that behaviour about. We propose the use of goal-based models during runtime to offer self-explanation of how a system is meeting its requirements, and why the means of meeting these were chosen. We discuss the results of early experiments in self-explanation, and set out future work.
  • Keywords
    formal specification; program testing; software maintenance; goal-based model; requirement satisfaction; self-adaptive system; self-explanation; system behaviour; system mainteinance; system testing; Adaptation models; Adaptive systems; Context; Hazards; Monitoring; Robots; Uncertainty; claims; goals; self-adaptive; self-explanation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
  • Print_ISBN
    978-1-4673-2156-3
  • Type

    conf

  • Filename
    6299211