Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - Run-time resolution of uncertainty
AU - Welsh, K.
AU - Sawyer, P.
AU - Bencomo, N.
PY - 2011/5/1
Y1 - 2011/5/1
N2 - 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.
AB - 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.
U2 - 10.1109/RE.2011.6051673
DO - 10.1109/RE.2011.6051673
M3 - Conference contribution/Paper
SN - 978-1-4577-0921-0
SP - 355
EP - 356
BT - Requirements Engineering Conference (RE), 2011 19th IEEE International
PB - IEEE
T2 - 19th IEEE International Conference on Requirements Engineering
Y2 - 29 August 2011 through 2 September 2011
ER -