Lancaster EPrints

Understanding the Scope of Uncertainty in Dynamically Adaptive Systems

Welsh, K. and Sawyer, P. (2010) Understanding the Scope of Uncertainty in Dynamically Adaptive Systems. In: Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings. Lecture Notes in Computer Science . Springer, Berlin, pp. 2-16. ISBN 978-3-642-14191-1

Full text not available from this repository.

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.

Item Type: Contribution in Book/Report/Proceedings
Uncontrolled Keywords: self adaptation ; dynamically adaptive system ; goal models ; uncertainty ; claims
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 58260
Deposited By: ep_importer_pure
Deposited On: 27 Sep 2012 14:53
Refereed?: No
Published?: Published
Last Modified: 17 Sep 2013 09:33
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/58260

Actions (login required)

View Item