Composing Run-time Variability Models
Document type :
Communication dans un congrès avec actes
Permalink :
Title :
Composing Run-Time Variability Models
Composing Run-time Variability Models
Composing Run-time Variability Models
Author(s) :
Farhat, Salman [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Bliudze, Simon [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Duchien, Laurence [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Kouchnarenko, Olga [Auteur]
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) [FEMTO-ST]
Self-adaptation for distributed services and large software systems [SPIRALS]
Bliudze, Simon [Auteur]

Self-adaptation for distributed services and large software systems [SPIRALS]
Duchien, Laurence [Auteur]

Self-adaptation for distributed services and large software systems [SPIRALS]
Kouchnarenko, Olga [Auteur]
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) [FEMTO-ST]
Conference title :
Software Engineering and Formal Methods. SEFM 2024
Conference organizers(s) :
Alexandre Madeira
Alexander Knapp
Alexander Knapp
City :
Aveiro
Country :
Portugal
Start date of the conference :
2024-11-06
Journal title :
Lecture Notes in Computer Science
Publisher :
Springer Nature Switzerland
Publication place :
Cham
Publication date :
2024-11-26
English keyword(s) :
System Architecture Evolution
Component-based Systems
Variability Models
Composition Operators
Multi-step Bisimulation
System Architecture Evolution Component-based Systems Variability Models Composition Operators Multi-step Bisimulation
Component-based Systems
Variability Models
Composition Operators
Multi-step Bisimulation
System Architecture Evolution Component-based Systems Variability Models Composition Operators Multi-step Bisimulation
HAL domain(s) :
Informatique [cs]/Calcul parallèle, distribué et partagé [cs.DC]
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Génie logiciel [cs.SE]
English abstract : [en]
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 ...
Show more >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-step UP-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.Show less >
Show more >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-step UP-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.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
ANR Project :
Collections :
Source :
Submission date :
2025-01-22T05:08:35Z
Files
- document
- Open access
- Access the document
- Farhat24-Composing-Runtime-Variability-Models.pdf
- Open access
- Access the document