Tracing Requirements for Adaptive Systems using ClaimsReport as inadecuate

Tracing Requirements for Adaptive Systems using Claims - Download this document for free, or read online. Document in PDF available to download.

1 ARLES - Software architectures and distributed systems Inria Paris-Rocquencourt

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.

Author: Nelly Bencomo -



Related documents