Home > Research > Publications & Outputs > Tracing requirements for adaptive systems using...

Research

Associated organisational unit

Links

Text available via DOI:

View graph of relations

Tracing requirements for adaptive systems using claims

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Tracing requirements for adaptive systems using claims. / Welsh, Kristopher; Bencomo, Nelly; Sawyer, Peter.
TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering. New York, NY, USA: ACM, 2011. p. 38-41.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Welsh, K, Bencomo, N & Sawyer, P 2011, Tracing requirements for adaptive systems using claims. in TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering. ACM, New York, NY, USA, pp. 38-41. https://doi.org/10.1145/1987856.1987865

APA

Welsh, K., Bencomo, N., & Sawyer, P. (2011). Tracing requirements for adaptive systems using claims. In TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering (pp. 38-41). ACM. https://doi.org/10.1145/1987856.1987865

Vancouver

Welsh K, Bencomo N, Sawyer P. Tracing requirements for adaptive systems using claims. In TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering. New York, NY, USA: ACM. 2011. p. 38-41 doi: 10.1145/1987856.1987865

Author

Welsh, Kristopher ; Bencomo, Nelly ; Sawyer, Peter. / Tracing requirements for adaptive systems using claims. TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering. New York, NY, USA : ACM, 2011. pp. 38-41

Bibtex

@inproceedings{6ab8e250850d43c0a2f08003fabcbc9c,
title = "Tracing requirements for adaptive systems using claims",
abstract = "The complexity of environments faced by dynamically adaptive systems (DAS) means that the RE process will often be iterative with analysts revisiting the system specifications based on new environmental understanding product of experiences with experimental deployments, or even after final deployments. An ability to trace backwards to an identified environmental assumption, and to trace forwards to find the areas of a DAS's specification that are affected by changes in environmental understanding aids in supporting this necessarily iterative RE process. This paper demonstrates how claims can be used as markers for areas of uncertainty in a DAS specification. The paper demonstrates backward tracing using claims to identify faulty environmental understanding, and forward tracing to allow generation of new behaviour in the form of policy adaptations and models for transitioning the running system.",
author = "Kristopher Welsh and Nelly Bencomo and Peter Sawyer",
year = "2011",
doi = "10.1145/1987856.1987865",
language = "English",
isbn = "978-1-4503-0589-1 ",
pages = "38--41",
booktitle = "TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering",
publisher = "ACM",

}

RIS

TY - GEN

T1 - Tracing requirements for adaptive systems using claims

AU - Welsh, Kristopher

AU - Bencomo, Nelly

AU - Sawyer, Peter

PY - 2011

Y1 - 2011

N2 - The complexity of environments faced by dynamically adaptive systems (DAS) means that the RE process will often be iterative with analysts revisiting the system specifications based on new environmental understanding product of experiences with experimental deployments, or even after final deployments. An ability to trace backwards to an identified environmental assumption, and to trace forwards to find the areas of a DAS's specification that are affected by changes in environmental understanding aids in supporting this necessarily iterative RE process. This paper demonstrates how claims can be used as markers for areas of uncertainty in a DAS specification. The paper demonstrates backward tracing using claims to identify faulty environmental understanding, and forward tracing to allow generation of new behaviour in the form of policy adaptations and models for transitioning the running system.

AB - The complexity of environments faced by dynamically adaptive systems (DAS) means that the RE process will often be iterative with analysts revisiting the system specifications based on new environmental understanding product of experiences with experimental deployments, or even after final deployments. An ability to trace backwards to an identified environmental assumption, and to trace forwards to find the areas of a DAS's specification that are affected by changes in environmental understanding aids in supporting this necessarily iterative RE process. This paper demonstrates how claims can be used as markers for areas of uncertainty in a DAS specification. The paper demonstrates backward tracing using claims to identify faulty environmental understanding, and forward tracing to allow generation of new behaviour in the form of policy adaptations and models for transitioning the running system.

U2 - 10.1145/1987856.1987865

DO - 10.1145/1987856.1987865

M3 - Conference contribution/Paper

SN - 978-1-4503-0589-1

SP - 38

EP - 41

BT - TEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering

PB - ACM

CY - New York, NY, USA

ER -