Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00623812
Contributor : Nelly Bencomo <>
Submitted on : Thursday, September 15, 2011 - 10:58:57 AM
Last modification on : Friday, May 25, 2018 - 12:02:02 PM
Long-term archiving on: : Friday, December 16, 2011 - 2:21:32 AM

File

TEFSE2011_mainFile.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

245

Files downloads

143