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
Contributor : Nelly Bencomo Connect in order to contact the contributor
Submitted on : Thursday, September 15, 2011 - 10:58:57 AM
Last modification on : Thursday, February 3, 2022 - 11:18:16 AM
Long-term archiving on: : Friday, December 16, 2011 - 2:21:32 AM


Files produced by the author(s)




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⟩



Record views


Files downloads