Tracing requirements for adaptive systems using claims

Kristopher Welsh, Nelly Bencomo, Peter Sawyer

Research output: Chapter in Book/Report/Conference proceedingConference publication

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.
Original languageEnglish
Title of host publicationTEFSE '11: Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering
Place of PublicationNew York, NY (US)
PublisherACM
Pages38-41
Number of pages4
ISBN (Print)978-1-4503-0589-1
DOIs
Publication statusPublished - 2011
Event6th international workshop on traceability in emerging forms of software engineering - Honolulu, HI, United States
Duration: 23 May 2011 → …

Conference

Conference6th international workshop on traceability in emerging forms of software engineering
Abbreviated titleTEFSE '11
CountryUnited States
CityHonolulu, HI
Period23/05/11 → …

Fingerprint Dive into the research topics of 'Tracing requirements for adaptive systems using claims'. Together they form a unique fingerprint.

  • Cite this

    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