Skip to Main content Skip to Navigation
Conference papers

Run-time Resolution of Uncertainty

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
Document type :
Conference papers
Complete list of metadata
Contributor : Nelly Bencomo Connect in order to contact the contributor
Submitted on : Thursday, September 15, 2011 - 10:45:30 AM
Last modification on : Thursday, February 3, 2022 - 11:18:17 AM
Long-term archiving on: : Friday, December 16, 2011 - 2:21:16 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads