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
Type de document :
Communication dans un congrès
International Requirements Engineering Conference,, RE 2011, Aug 2011, Trento, Italy. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00623785
Contributeur : Nelly Bencomo <>
Soumis le : jeudi 15 septembre 2011 - 10:45:30
Dernière modification le : vendredi 25 mai 2018 - 12:02:02
Document(s) archivé(s) le : vendredi 16 décembre 2011 - 02:21:16

Fichier

posterRE2011A1_Welsh_Sawyer_Be...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2011. 〈inria-00623785〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

187