Extending Dynamic Software Product Lines with Temporal Constraints

Abstract : Due to the number of cloud providers, as well as the extensive collection of services, cloud computing provides very flexible environments, where resources and services can be provisioned and released on demand. However, reconfiguration and adaptation mechanisms in cloud environments are very heterogeneous and often exhibit complex constraints. For example, when reconfiguring a cloud system, a set of available services may be dependent on previous choices, or there may be alternative ways of adapting the system, with different impacts on performance, costs or reconfiguration time. Cloud computing systems exhibit high levels of variability, making dynamic software product lines (DSPLs) a promising approach for managing them. However, in DSPL approaches, verification is often limited to verifying conformance to a variability model, but this is insufficient to verify complex reconfiguration constraints that exist in cloud computing systems. In this paper, we propose the use of temporal constraints and reconfiguration operations to model a DSPL's reconfiguration lifecycle. We demonstrate how these concepts can be used to model the variability of cloud systems, and we use our approach to identify reconfigurations that meet given criteria.
Type de document :
Communication dans un congrès
12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), May 2017, Buenos Aires, Argentina. 2017, 〈https://wp.doc.ic.ac.uk/seams2017/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01482014
Contributeur : Gustavo Sousa <>
Soumis le : vendredi 3 mars 2017 - 10:51:51
Dernière modification le : jeudi 11 janvier 2018 - 06:27:32
Document(s) archivé(s) le : mardi 6 juin 2017 - 12:33:16

Fichier

SEAMS__ICSE_2017_paper_34.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01482014, version 1

Citation

Gustavo Sousa, Walter Rudametkin, Laurence Duchien. Extending Dynamic Software Product Lines with Temporal Constraints. 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), May 2017, Buenos Aires, Argentina. 2017, 〈https://wp.doc.ic.ac.uk/seams2017/〉. 〈hal-01482014〉

Partager

Métriques

Consultations de la notice

330

Téléchargements de fichiers

150