Towards requirements aware systems:run-time resolution of design-time assumptions

Welsh, Kristopher, Sawyer, Peter and Bencomo, Nelly (2011). Towards requirements aware systems:run-time resolution of design-time assumptions. IN: ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE / ACM International Conference on Automated Software Engineering . USA: IEEE.

Abstract

In earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realization strategies.

Publication DOI: https://doi.org/10.1109/ASE.2011.6100125
Divisions: Engineering & Applied Sciences
Engineering & Applied Sciences > Computer Science
Engineering & Applied Sciences > Systems analytics research institute (SARI)
Additional Information: © 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Event Title: 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
Event Type: Other
Event Dates: 2011-11-06 - 2011-11-10
Uncontrolled Keywords: requirements awareness,self adaptive systems,goals,claims
Full Text Link: http://ieeexplo ... rnumber=6100125
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
Published Date: 2011
Authors: Welsh, Kristopher
Sawyer, Peter ( 0000-0001-8044-2738)
Bencomo, Nelly ( 0000-0001-6895-1636)

Download

[img]

Version: Accepted Version


Export / Share Citation


Statistics

Additional statistics for this record