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

https://hal.inria.fr/inria-00623785
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

File

posterRE2011A1_Welsh_Sawyer_Be...
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00623785, version 1

Collections

Citation

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

Share

Metrics

Record views

80

Files downloads

129