RELAX: a language to address uncertainty in self-adaptive systems requirement

Authors:
Jon Whittle;Pete Sawyer;Nelly Bencomo;Betty H. C. Cheng;Jean-Michel Bruel
Affiliations:
Lancaster University, Computing Department, InfoLab 21, LA1 4AW, Lancaster, UK;Lancaster University, Computing Department, InfoLab 21, LA1 4AW, Lancaster, UK;Lancaster University, Computing Department, InfoLab 21, LA1 4AW, Lancaster, UK;Michigan State University, Department of Computer, Science and Engineering, 48824, East Lansing, MI, USA;IUT de Blagnac, 1, Place Georges Brassens, BP 60073, 31703, Blagnac Cedex, France
Venue:
Requirements Engineering - RE'09 Special Issue; Guest Editor:Kevin T Ryan
Year:
2010

Citing 0
Cited 10

A fuzzy service adaptation based on QoS satisfaction

CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
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
Web service compositions which emerge from virtual organizations with fair agreements

KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Satisfying requirements for pervasive service compositions

Proceedings of the 7th Workshop on Models@run.time
Managing non-functional uncertainty via model-driven adaptivity

Proceedings of the 2013 International Conference on Software Engineering
Mitigating the obsolescence of specification models of service-based systems

Proceedings of the 2013 International Conference on Software Engineering
Requirements and architectural approaches to adaptive software systems: a comparative study

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Dynamic decision networks for decision-making in self-adaptive systems: a case study

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Improving trace accuracy through data-driven configuration and composition of tracing features

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation

Proceedings of the 5th ACM/SPEC international conference on Performance engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Self-adaptive systems have the capability to autonomously modify their behavior at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In order to support the rigorous specification of adaptive systems requirements, this paper introduces RELAX, a new requirements language for self-adaptive systems that explicitly addresses uncertainty inherent in adaptive systems. We present the formal semantics for RELAX in terms of fuzzy logic, thus enabling a rigorous treatment of requirements that include uncertainty. RELAX enables developers to identify uncertainty in the requirements, thereby facilitating the design of systems that are, by definition, more flexible and amenable to adaptation in a systematic fashion. We illustrate the use of RELAX on smart home applications, including an adaptive assisted living system.