Run-time Resolution of Uncertainty - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Run-time Resolution of Uncertainty


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
Fichier principal
Vignette du fichier
posterRE2011A1_Welsh_Sawyer_Bencomo.pdf (677.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00623785 , version 1 (15-09-2011)


  • HAL Id : inria-00623785 , version 1


Nelly Bencomo. Run-time Resolution of Uncertainty. International Requirements Engineering Conference,, RE 2011, Aug 2011, Trento, Italy. ⟨inria-00623785⟩
85 View
141 Download


Gmail Facebook X LinkedIn More