Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Gustavo Sousa Connect in order to contact the contributor
Submitted on : Friday, March 3, 2017 - 10:51:51 AM
Last modification on : Friday, January 21, 2022 - 3:13:01 AM
Long-term archiving on: : Tuesday, June 6, 2017 - 12:33:16 PM


Files produced by the author(s)


  • HAL Id : hal-01482014, version 1


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. ⟨hal-01482014⟩



Les métriques sont temporairement indisponibles