TY - GEN
T1 - SURE! A Catalog of Uncertainties and RELAXed Requirements for Self-adaptive Systems
AU - Raibulet, Claudia
AU - Gerostathopoulos, Ilias
AU - Abdelmukaram, Osman
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.
PY - 2026
Y1 - 2026
N2 - In software engineering of self-adaptive systems, uncertainties arise from the inherent complexity of these systems (i.e., the limitation to foresee all aspects related to their development and operation) and the unpredictability of the execution environments (i.e., the limitation to predict all the events), among other sources. Several taxonomies and specification languages have been proposed for uncertainties. However, they remain at a theoretical level and are hardly applied in practice. There is a lack of best practices and concrete examples of how to apply taxonomies and languages in real systems. To address this gap, we contribute a catalog of uncertainties. All the uncertainties in the catalog have been extracted from concrete artifacts. Each uncertainty is described using the same template and associated with requirements specified in the RELAX language. Our objective is to provide an initial version of a catalog (to be further extended) of uncertainties and requirements that can be (re)used as prototypical examples in different application domains.
AB - In software engineering of self-adaptive systems, uncertainties arise from the inherent complexity of these systems (i.e., the limitation to foresee all aspects related to their development and operation) and the unpredictability of the execution environments (i.e., the limitation to predict all the events), among other sources. Several taxonomies and specification languages have been proposed for uncertainties. However, they remain at a theoretical level and are hardly applied in practice. There is a lack of best practices and concrete examples of how to apply taxonomies and languages in real systems. To address this gap, we contribute a catalog of uncertainties. All the uncertainties in the catalog have been extracted from concrete artifacts. Each uncertainty is described using the same template and associated with requirements specified in the RELAX language. Our objective is to provide an initial version of a catalog (to be further extended) of uncertainties and requirements that can be (re)used as prototypical examples in different application domains.
KW - catalog
KW - RELAX language
KW - self-adaptive systems
KW - uncertainty
UR - https://www.scopus.com/pages/publications/105015624162
UR - https://www.scopus.com/pages/publications/105015624162#tab=citedBy
U2 - 10.1007/978-3-032-02138-0_14
DO - 10.1007/978-3-032-02138-0_14
M3 - Conference contribution
AN - SCOPUS:105015624162
SN - 9783032021373
T3 - Lecture Notes in Computer Science
SP - 214
EP - 223
BT - Software Architecture
A2 - Andrikopoulos, Vasilios
A2 - Pautasso, Cesare
A2 - Ali, Nour
A2 - Soldani, Jacopo
A2 - Xu, Xiwei
PB - Springer Nature Switzerland AG
T2 - 19th European Conference on Software Architecture, ECSA 2025
Y2 - 15 September 2025 through 19 September 2025
ER -