Lancaster EPrints

Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time

Ramirez, Andres and H.C. Cheng, Betty and Bencomo, Nelly and Sawyer, Peter (2012) Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time. In: Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. Lecture Notes in Computer Science . Springer, Berlin, pp. 53-69. ISBN 978-3-642-33665-2

Full text not available from this repository.

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.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 58264
Deposited By: ep_importer_pure
Deposited On: 25 Sep 2012 11:34
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:30
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/58264

Actions (login required)

View Item