Skip to Main content Skip to Navigation
Journal articles

Temporal Pattern Specifications for Self-Adaptive Requirements

Abstract : Background: Systems whose requirements change at a rate that necessitates adaptation without human intervention are called self-adaptive systems, and they have the ability to adjust their behavior autonomously at run-time in response to their environment's evolution. Samples of applications that require self-adaptation include Smart home systems and environmental monitoring. However, self-adaptivity is often constructed in an ad-hoc manner. Method: In this paper, the authors present a pattern-based specification language for self-adaptive systems. Its semantics are presented in terms of fuzzy logic. Thus, enabling a meticulous processing of requirements , in order to permit the formulation of self-adaptive requirements accurately, thereby facilitates the design of systems that are flexible and responsive to adaptation in a systematic manner. Results: To show the applicability and effectiveness of our language, the authors apply it to two case studies. One case study reviews the Smart fridge in ambient assisted living and the second case study is focused on an ambulance dispatching system using a developed support tool.
Document type :
Journal articles
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal-univ-pau.archives-ouvertes.fr/hal-02436863
Contributor : Philippe Roose <>
Submitted on : Monday, January 13, 2020 - 2:20:15 PM
Last modification on : Thursday, March 5, 2020 - 7:15:30 PM
Long-term archiving on: : Tuesday, April 14, 2020 - 4:18:19 PM

File

Dr. Yahiaoui-MS(2nd proof).pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Ayoub Yahiaoui, Hakim Bendjenna, Philippe Roose, Lawrence Chung, Mohamed Amroune. Temporal Pattern Specifications for Self-Adaptive Requirements. Recent Patents on Computer Science, Bentham Science Publishers, 2018, 11, pp.1 - 11. ⟨10.2174/2213275911666181019115744⟩. ⟨hal-02436863⟩

Share

Metrics

Record views

41

Files downloads

131