Tracing Requirements for Adaptive Systems using Claims - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Tracing Requirements for Adaptive Systems using Claims


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

Dates and versions

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



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. ⟨10.1145/1987856.1987865⟩. ⟨inria-00623812⟩
90 View
122 Download



Gmail Facebook X LinkedIn More