School of Computing

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

Kristopher Welsh, Pete Sawyer, and Nelly Bencomo

In Perry Alexander, Corina Pasareanu, and John Hosking, editors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pages 560-563. IEEE, November 2011 [doi].

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

Download publication 1302 kbytes (PDF)

Bibtex Record

@inproceedings{3228,
author = {Kristopher Welsh and Pete Sawyer and Nelly Bencomo},
title = {Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions},
month = {November},
year = {2011},
pages = {560-563},
keywords = {requirements awareness; self adaptive systems; goals; claims},
note = {},
doi = {10.1109/ASE.2011.6100125},
url = {http://www.cs.kent.ac.uk/pubs/2011/3228},
    publication_type = {inproceedings},
    submission_id = {22381_1339761560},
    ISBN = {978-1-4577-1639-3},
    booktitle = {26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
    editor = {Perry Alexander and Corina Pasareanu and John Hosking},
    publisher = {IEEE},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014