Lancaster EPrints

Run-time resolution of uncertainty

Welsh, K. and Sawyer, P. and Bencomo, N. (2011) Run-time resolution of uncertainty. In: Requirements Engineering Conference (RE), 2011 19th IEEE International. IEEE, pp. 355-356. ISBN 978-1-4577-0921-0

Full text not available from this repository.

Abstract

Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 58628
Deposited By: ep_importer_pure
Deposited On: 26 Sep 2012 11:29
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:39
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/58628

Actions (login required)

View Item