RELAX

A language to address uncertainty in self-adaptive systems requirement

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Jean Michel Bruel

Research output: Contribution to journalArticleResearchpeer-review

129 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)177-196
Number of pages20
JournalRequirements Engineering
Volume15
Issue number2
DOIs
Publication statusPublished - Jun 2010
Externally publishedYes

Keywords

  • Adaptive systems
  • Fuzzy logic
  • Requirements engineering
  • Smart homes
  • Uncertainty

Cite this

Whittle, Jon ; Sawyer, Pete ; Bencomo, Nelly ; Cheng, Betty H.C. ; Bruel, Jean Michel. / RELAX : A language to address uncertainty in self-adaptive systems requirement. In: Requirements Engineering. 2010 ; Vol. 15, No. 2. pp. 177-196.
@article{624bd2453491462487f473d07ab3905e,
title = "RELAX: A language to address uncertainty in self-adaptive systems requirement",
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.",
keywords = "Adaptive systems, Fuzzy logic, Requirements engineering, Smart homes, Uncertainty",
author = "Jon Whittle and Pete Sawyer and Nelly Bencomo and Cheng, {Betty H.C.} and Bruel, {Jean Michel}",
year = "2010",
month = "6",
doi = "10.1007/s00766-010-0101-0",
language = "English",
volume = "15",
pages = "177--196",
journal = "Requirements Engineering",
issn = "0947-3602",
publisher = "Springer-Verlag London Ltd.",
number = "2",

}

RELAX : A language to address uncertainty in self-adaptive systems requirement. / Whittle, Jon; Sawyer, Pete; Bencomo, Nelly; Cheng, Betty H.C.; Bruel, Jean Michel.

In: Requirements Engineering, Vol. 15, No. 2, 06.2010, p. 177-196.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - RELAX

T2 - A language to address uncertainty in self-adaptive systems requirement

AU - Whittle, Jon

AU - Sawyer, Pete

AU - Bencomo, Nelly

AU - Cheng, Betty H.C.

AU - Bruel, Jean Michel

PY - 2010/6

Y1 - 2010/6

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

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

KW - Adaptive systems

KW - Fuzzy logic

KW - Requirements engineering

KW - Smart homes

KW - Uncertainty

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

U2 - 10.1007/s00766-010-0101-0

DO - 10.1007/s00766-010-0101-0

M3 - Article

VL - 15

SP - 177

EP - 196

JO - Requirements Engineering

JF - Requirements Engineering

SN - 0947-3602

IS - 2

ER -