TY - GEN
T1 - Composing Run-Time Variability Models
AU - Farhat, Salman
AU - Bliudze, Simon
AU - Duchien, Laurence
AU - Kouchnarenko, Olga
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
PY - 2025/1/1
Y1 - 2025/1/1
N2 - The sheer complexity of modern systems requires compositional approaches to variability modelling. To manage the variability of large systems’ architecture, feature models are widely used at design-time, with several operators defined to allow their composition. However, complex systems’ architectures may evolve at run-time by acquiring new features and functionalities while respecting new constraints. To address this challenge, this paper defines composition operators for component-based run-time variability models that not only encode these feature model composition operators, but also ensure safe run-time reconfiguration. To prove the correctness and compositionality properties, we propose a novel multi-stepUP-bisimulation equivalence and use it to show that the component-based run-time variability models preserve the semantics of the composed feature models. In addition, reachability results permit safe reconfiguration.
AB - The sheer complexity of modern systems requires compositional approaches to variability modelling. To manage the variability of large systems’ architecture, feature models are widely used at design-time, with several operators defined to allow their composition. However, complex systems’ architectures may evolve at run-time by acquiring new features and functionalities while respecting new constraints. To address this challenge, this paper defines composition operators for component-based run-time variability models that not only encode these feature model composition operators, but also ensure safe run-time reconfiguration. To prove the correctness and compositionality properties, we propose a novel multi-stepUP-bisimulation equivalence and use it to show that the component-based run-time variability models preserve the semantics of the composed feature models. In addition, reachability results permit safe reconfiguration.
KW - Component-based Systems
KW - Composition Operators
KW - Multi-step Bisimulation
KW - System Architecture Evolution
KW - Variability Models
U2 - 10.1007/978-3-031-77382-2_14
DO - 10.1007/978-3-031-77382-2_14
M3 - Conference contribution
AN - SCOPUS:85210810835
SN - 9783031773815
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 234
EP - 252
BT - Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Proceedings
A2 - Madeira, Alexandre
A2 - Knapp, Alexander
PB - Springer Science and Business Media Deutschland GmbH
T2 - 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024
Y2 - 6 November 2024 through 8 November 2024
ER -