Self-explanation in adaptive systems based on runtime goal-based models

Kris Welsh*, Nelly Bencomo, Peter Sawyer, Jon Whittle

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The behaviour of self adaptive systems can be emergent, which means that the system’s behaviour may be seen as unexpected by its customers and its developers. Therefore, a self-adaptive system needs to garner confidence in its customers and it also needs to resolve any surprise on the part of the developer during testing and maintenance. 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, we propose the use of goal-based requirements models at runtime to offer self-explanation of how a system is meeting its requirements. We demonstrate the analysis of run-time requirements models to yield a self-explanation codified in a domain specific language, and discuss possible future work.

Original languageEnglish
Title of host publicationTransactions on Computational Collective Intelligence XVI
EditorsRyszard Kowalczyk, Ngoc Thanh Nguyen
Place of PublicationHeidelberg (DE)
PublisherSpringer
Pages122-145
Number of pages24
ISBN (Electronic)978-3-662-44871-7
ISBN (Print)978-3-662-44870-0
DOIs
Publication statusPublished - 27 Sep 2014

Publication series

NameLecture notes in computer science
PublisherSpringer
Volume8780
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Adaptive systems
Adaptive Systems
Requirements
Customers
Model
Domain-specific Languages
Confidence
Resolve
Maintenance
Testing
Demonstrate

Keywords

  • Self-explanation Self-adaptive Goals Claims

Cite this

Welsh, K., Bencomo, N., Sawyer, P., & Whittle, J. (2014). Self-explanation in adaptive systems based on runtime goal-based models. In R. Kowalczyk, & N. T. Nguyen (Eds.), Transactions on Computational Collective Intelligence XVI (pp. 122-145). (Lecture notes in computer science; Vol. 8780). Heidelberg (DE): Springer. https://doi.org/10.1007/978-3-662-44871-7_5
Welsh, Kris ; Bencomo, Nelly ; Sawyer, Peter ; Whittle, Jon. / Self-explanation in adaptive systems based on runtime goal-based models. Transactions on Computational Collective Intelligence XVI. editor / Ryszard Kowalczyk ; Ngoc Thanh Nguyen. Heidelberg (DE) : Springer, 2014. pp. 122-145 (Lecture notes in computer science).
@inproceedings{d7f14370015c4f269aeb5d6f91fe474a,
title = "Self-explanation in adaptive systems based on runtime goal-based models",
abstract = "The behaviour of self adaptive systems can be emergent, which means that the system’s behaviour may be seen as unexpected by its customers and its developers. Therefore, a self-adaptive system needs to garner confidence in its customers and it also needs to resolve any surprise on the part of the developer during testing and maintenance. 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, we propose the use of goal-based requirements models at runtime to offer self-explanation of how a system is meeting its requirements. We demonstrate the analysis of run-time requirements models to yield a self-explanation codified in a domain specific language, and discuss possible future work.",
keywords = "Self-explanation Self-adaptive Goals Claims",
author = "Kris Welsh and Nelly Bencomo and Peter Sawyer and Jon Whittle",
year = "2014",
month = "9",
day = "27",
doi = "10.1007/978-3-662-44871-7_5",
language = "English",
isbn = "978-3-662-44870-0",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "122--145",
editor = "Ryszard Kowalczyk and Nguyen, {Ngoc Thanh}",
booktitle = "Transactions on Computational Collective Intelligence XVI",
address = "Germany",

}

Welsh, K, Bencomo, N, Sawyer, P & Whittle, J 2014, Self-explanation in adaptive systems based on runtime goal-based models. in R Kowalczyk & NT Nguyen (eds), Transactions on Computational Collective Intelligence XVI. Lecture notes in computer science, vol. 8780, Springer, Heidelberg (DE), pp. 122-145. https://doi.org/10.1007/978-3-662-44871-7_5

Self-explanation in adaptive systems based on runtime goal-based models. / Welsh, Kris; Bencomo, Nelly; Sawyer, Peter; Whittle, Jon.

Transactions on Computational Collective Intelligence XVI. ed. / Ryszard Kowalczyk; Ngoc Thanh Nguyen. Heidelberg (DE) : Springer, 2014. p. 122-145 (Lecture notes in computer science; Vol. 8780).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Self-explanation in adaptive systems based on runtime goal-based models

AU - Welsh, Kris

AU - Bencomo, Nelly

AU - Sawyer, Peter

AU - Whittle, Jon

PY - 2014/9/27

Y1 - 2014/9/27

N2 - The behaviour of self adaptive systems can be emergent, which means that the system’s behaviour may be seen as unexpected by its customers and its developers. Therefore, a self-adaptive system needs to garner confidence in its customers and it also needs to resolve any surprise on the part of the developer during testing and maintenance. 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, we propose the use of goal-based requirements models at runtime to offer self-explanation of how a system is meeting its requirements. We demonstrate the analysis of run-time requirements models to yield a self-explanation codified in a domain specific language, and discuss possible future work.

AB - The behaviour of self adaptive systems can be emergent, which means that the system’s behaviour may be seen as unexpected by its customers and its developers. Therefore, a self-adaptive system needs to garner confidence in its customers and it also needs to resolve any surprise on the part of the developer during testing and maintenance. 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, we propose the use of goal-based requirements models at runtime to offer self-explanation of how a system is meeting its requirements. We demonstrate the analysis of run-time requirements models to yield a self-explanation codified in a domain specific language, and discuss possible future work.

KW - Self-explanation Self-adaptive Goals Claims

UR - http://www.scopus.com/inward/record.url?scp=84921519754&partnerID=8YFLogxK

UR - http://link.springer.com/chapter/10.1007%2F978-3-662-44871-7_5

U2 - 10.1007/978-3-662-44871-7_5

DO - 10.1007/978-3-662-44871-7_5

M3 - Conference contribution

AN - SCOPUS:84921519754

SN - 978-3-662-44870-0

T3 - Lecture notes in computer science

SP - 122

EP - 145

BT - Transactions on Computational Collective Intelligence XVI

A2 - Kowalczyk, Ryszard

A2 - Nguyen, Ngoc Thanh

PB - Springer

CY - Heidelberg (DE)

ER -

Welsh K, Bencomo N, Sawyer P, Whittle J. Self-explanation in adaptive systems based on runtime goal-based models. In Kowalczyk R, Nguyen NT, editors, Transactions on Computational Collective Intelligence XVI. Heidelberg (DE): Springer. 2014. p. 122-145. (Lecture notes in computer science). https://doi.org/10.1007/978-3-662-44871-7_5