Home > Research > Publications & Outputs > Run-time resolution of uncertainty

Associated organisational unit

View graph of relations

Run-time resolution of uncertainty

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Close
Publication date1/05/2011
Host publicationRequirements Engineering Conference (RE), 2011 19th IEEE International
PublisherIEEE
Pages355-356
Number of pages2
ISBN (electronic)978-1-4577-0923-4
ISBN (print)978-1-4577-0921-0
<mark>Original language</mark>English
Event19th IEEE International Conference on Requirements Engineering - Trento, Italy
Duration: 29/08/20112/09/2011

Conference

Conference19th IEEE International Conference on Requirements Engineering
Country/TerritoryItaly
CityTrento
Period29/08/112/09/11

Conference

Conference19th IEEE International Conference on Requirements Engineering
Country/TerritoryItaly
CityTrento
Period29/08/112/09/11

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.