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

Kristopher Welsh, Peter Sawyer, Nelly Bencomo

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

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.
Original languageEnglish
Title of host publicationASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
PublisherIEEE
Pages560-563
Number of pages4
ISBN (Print)978-1-4577-1638-6
DOIs
Publication statusPublished - 2011
Event2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 - Lawrence, KS, United States
Duration: 6 Nov 201110 Nov 2011

Publication series

NameIEEE / ACM International Conference on Automated Software Engineering
PublisherAssociation for Computing Machinery
ISSN (Print)1938-4300

Conference

Conference2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011
CountryUnited States
CityLawrence, KS
Period6/11/1110/11/11

Fingerprint

Monitoring

Bibliographical note

© 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.

Keywords

  • requirements awareness
  • self adaptive systems
  • goals
  • claims

Cite this

Welsh, K., Sawyer, P., & Bencomo, N. (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 (pp. 560-563). (IEEE / ACM International Conference on Automated Software Engineering). IEEE. https://doi.org/10.1109/ASE.2011.6100125
Welsh, Kristopher ; Sawyer, Peter ; Bencomo, Nelly. / Towards requirements aware systems : run-time resolution of design-time assumptions. ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2011. pp. 560-563 (IEEE / ACM International Conference on Automated Software Engineering).
@inproceedings{04011b3963f343f5906d06669f852bdd,
title = "Towards requirements aware systems: run-time resolution of design-time assumptions",
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.",
keywords = "requirements awareness, self adaptive systems, goals, claims",
author = "Kristopher Welsh and Peter Sawyer and Nelly Bencomo",
note = "{\circledC} 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.",
year = "2011",
doi = "10.1109/ASE.2011.6100125",
language = "English",
isbn = "978-1-4577-1638-6",
series = "IEEE / ACM International Conference on Automated Software Engineering",
publisher = "IEEE",
pages = "560--563",
booktitle = "ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering",
address = "United States",

}

Welsh, K, Sawyer, P & Bencomo, N 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, IEEE, pp. 560-563, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Lawrence, KS, United States, 6/11/11. https://doi.org/10.1109/ASE.2011.6100125

Towards requirements aware systems : run-time resolution of design-time assumptions. / Welsh, Kristopher; Sawyer, Peter; Bencomo, Nelly.

ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2011. p. 560-563 (IEEE / ACM International Conference on Automated Software Engineering).

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

TY - GEN

T1 - Towards requirements aware systems

T2 - run-time resolution of design-time assumptions

AU - Welsh, Kristopher

AU - Sawyer, Peter

AU - Bencomo, Nelly

N1 - © 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.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - requirements awareness

KW - self adaptive systems

KW - goals

KW - claims

UR - http://www.scopus.com/inward/record.url?scp=84855455387&partnerID=8YFLogxK

U2 - 10.1109/ASE.2011.6100125

DO - 10.1109/ASE.2011.6100125

M3 - Conference contribution

AN - SCOPUS:84855455387

SN - 978-1-4577-1638-6

T3 - IEEE / ACM International Conference on Automated Software Engineering

SP - 560

EP - 563

BT - ASE '11: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering

PB - IEEE

ER -

Welsh K, Sawyer P, Bencomo N. 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. 2011. p. 560-563. (IEEE / ACM International Conference on Automated Software Engineering). https://doi.org/10.1109/ASE.2011.6100125