Understanding the Scope of Uncertainty in Dynamically Adaptive Systems

  • Kristopher Welsh
  • Pete Sawyer
Conference paper

DOI: 10.1007/978-3-642-14192-8_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6182)
Cite this paper as:
Welsh K., Sawyer P. (2010) Understanding the Scope of Uncertainty in Dynamically Adaptive Systems. In: Wieringa R., Persson A. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2010. Lecture Notes in Computer Science, vol 6182. Springer, Berlin, Heidelberg

Abstract

[Context and motivation] Dynamically adaptive systems are increasingly conceived as a means to allow operation in changeable or poorly understood environments. [Question/problem] This can result in the selection of solution strategies based on assumptions that may not be well founded. [Principle ideas/results] This paper proposes the use of claims in goal models as a means to reason about likely sources of uncertainty in dynamically adaptive systems. Accepting that such claims can’t be easily validated at design-time, we should instead evaluate how the system will behave if a claim is proven false by developing a validation scenario. [Contribution] Validation scenarios may be costly to evaluate so the approach we advocate is designed to carefully select only those claims that are less certain, or whose falsification would have serious consequences.

Keywords

self adaptation dynamically adaptive system goal models uncertainty claims 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Kristopher Welsh
    • 1
  • Pete Sawyer
    • 1
  1. 1.Computing DepartmentLancaster UniversityLancasterUK

Personalised recommendations