Relaxing claims: coping with uncertainty while evaluating assumptions at run time

Andres Ramirez, Betty H.C. Cheng, Nelly Bencomo, Peter Sawyer

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

Abstract

Self-adaptation enables software systems to respond to changing environmental contexts that may not be fully understood at design time. Designing a dynamically adaptive system (DAS) to cope with this uncertainty is challenging, as it is impractical during requirements analysis and design time to anticipate every environmental condition that the DAS may encounter. Previously, the RELAX language was proposed to make requirements more tolerant to environmental uncertainty, and Claims were applied as markers of uncertainty that document how design assumptions affect goals. This paper integrates these two techniques in order to assess the validity of Claims at run time while tolerating minor and unanticipated environmental conditions that can trigger adaptations. We apply the proposed approach to the dynamic reconfiguration of a remote data mirroring network that must diffuse data while minimizing costs and exposure to data loss. Results show RELAXing Claims enables a DAS to reduce adaptation costs.
Original languageEnglish
Title of host publicationModel driven engineering languages and systems
Subtitle of host publication15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
EditorsRobert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
PublisherSpringer
Pages53-69
Number of pages17
ISBN (Electronic)978-3-642-33666-9
ISBN (Print)978-3-642-33665-2
DOIs
Publication statusPublished - 1 Sep 2012
EventACM/IEEE 15th international conference on model driven engineering languages & systems - Innsbruck, Austria
Duration: 30 Sep 20125 Oct 2012

Publication series

NameLecture notes in computer science
PublisherSpringer
Number7590
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceACM/IEEE 15th international conference on model driven engineering languages & systems
Abbreviated titleMoDELS 2012
CountryAustria
CityInnsbruck
Period30/09/125/10/12

Fingerprint Dive into the research topics of 'Relaxing claims: coping with uncertainty while evaluating assumptions at run time'. Together they form a unique fingerprint.

  • Cite this

    Ramirez, A., H.C. Cheng, B., Bencomo, N., & Sawyer, P. (2012). Relaxing claims: coping with uncertainty while evaluating assumptions at run time. In R. B. France, J. Kazmeier, R. Breu, & C. Atkinson (Eds.), Model driven engineering languages and systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings (pp. 53-69). (Lecture notes in computer science; No. 7590). Springer. https://doi.org/10.1007/978-3-642-33666-9_5