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 -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents