Standard
Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time. / Ramirez, Andres; H.C. Cheng, Betty; Bencomo, Nelly et al.
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. ed. / Robert B. France; Jürgen Kazmeier; Ruth Breu; Colin Atkinson. Berlin: Springer, 2012. p. 53-69 (Lecture Notes in Computer Science; Vol. 7590).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Ramirez, A, H.C. Cheng, B, Bencomo, N
& Sawyer, P 2012,
Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time. in RB 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. Lecture Notes in Computer Science, vol. 7590, Springer, Berlin, pp. 53-69.
APA
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; Vol. 7590). Springer.
Vancouver
Ramirez A, H.C. Cheng B, Bencomo N
, Sawyer P.
Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time. In France RB, Kazmeier J, Breu R, Atkinson C, editors, Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. Berlin: Springer. 2012. p. 53-69. (Lecture Notes in Computer Science).
Author
Ramirez, Andres ; H.C. Cheng, Betty ; Bencomo, Nelly et al. /
Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time. Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. editor / Robert B. France ; Jürgen Kazmeier ; Ruth Breu ; Colin Atkinson. Berlin : Springer, 2012. pp. 53-69 (Lecture Notes in Computer Science).
Bibtex
@inproceedings{32cc840f79224f449f75ac006537a040,
title = "Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time",
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.",
author = "Andres Ramirez and {H.C. Cheng}, Betty and Nelly Bencomo and Peter Sawyer",
year = "2012",
month = sep,
day = "1",
language = "English",
isbn = "978-3-642-33665-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "53--69",
editor = "France, {Robert B.} and J{\"u}rgen Kazmeier and Ruth Breu and Colin Atkinson",
booktitle = "Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings",
}
RIS
TY - GEN
T1 - Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time
AU - Ramirez, Andres
AU - H.C. Cheng, Betty
AU - Bencomo, Nelly
AU - Sawyer, Peter
PY - 2012/9/1
Y1 - 2012/9/1
N2 - 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.
AB - 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.
M3 - Conference contribution/Paper
SN - 978-3-642-33665-2
T3 - Lecture Notes in Computer Science
SP - 53
EP - 69
BT - Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
A2 - France, Robert B.
A2 - Kazmeier, Jürgen
A2 - Breu, Ruth
A2 - Atkinson, Colin
PB - Springer
CY - Berlin
ER -
