Tracing Requirements for Adaptive Systems using ClaimsReportar como inadecuado

Tracing Requirements for Adaptive Systems using Claims - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Autor: Nelly Bencomo -



Documentos relacionados