Tracing Requirements for Adaptive Systems using Claims

Abstract : The complexity of environments faced by dynamically adap- tive systems (DAS) means that the RE process will often be iterative with analysts revisiting the system speci¯cations based on new environmental understanding product of ex- periences with experimental deployments, or even after ¯nal deployments. An ability to trace backwards to an identi¯ed environmental assumption, and to trace forwards to ¯nd the areas of a DAS's speci¯cation that are a®ected by changes in environmental understanding aids in supporting this nec- essarily iterative RE process. This paper demonstrates how claims can be used as markers for areas of uncertainty in a DAS speci¯cation. The paper demonstrates backward tracing using claims to identify faulty environmental under- standing, and forward tracing to allow generation of new behaviour in the form of policy adaptations and models for transitioning the running system.
Type de document :
Communication dans un congrès
6th International Workshop on Traceability in Emerging Forms of Software Engineering, May 2011, Honolulu, United States. 2011, 〈10.1145/1987856.1987865〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

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

Fichier

TEFSE2011_mainFile.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Nelly Bencomo. Tracing Requirements for Adaptive Systems using Claims. 6th International Workshop on Traceability in Emerging Forms of Software Engineering, May 2011, Honolulu, United States. 2011, 〈10.1145/1987856.1987865〉. 〈inria-00623812〉

Partager

Métriques

Consultations de la notice

211

Téléchargements de fichiers

88