P. Mell and T. Grance, The NIST definition of cloud computing, 2011.
DOI : 10.6028/NIST.SP.800-145

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz et al., A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

C. M. Dasilva, P. Trkman, K. Desouza, and J. Lindi?, Disruptive technologies: a business model perspective on cloud computing. Technology Analysis & Strategic Management, pp.1161-1173, 2013.

S. Marston, Z. Li, S. Bandyopadhyay, J. Zhang, and A. Ghalsasi, Cloud computing ? the business perspective Decision Support Systems, pp.176-189, 2011.

K. Peter, M. Ross, and . Blumenstein, Cloud computing as a facilitator of sme entrepreneurship Technology Analysis & Strategic Management, pp.87-101, 2015.

M. A. Alzain, E. Pardede, B. Soh, and J. A. Thom, Cloud Computing Security: From Single to Multi-clouds, 2012 45th Hawaii International Conference on System Sciences, pp.5490-5499, 2012.
DOI : 10.1109/HICSS.2012.153

N. Grozev and R. Buyya, Inter-cloud architectures and application brokering: taxonomy and survey. Software: Practice and Experience, pp.369-390, 2014.
DOI : 10.1002/spe.2168
URL : http://onlinelibrary.wiley.com/doi/10.1002/spe.2168/pdf

D. Petcu, Consuming Resources and Services from Multiple Clouds, Journal of Grid Computing, vol.28, issue.8, pp.321-345, 2014.
DOI : 10.1016/j.future.2012.02.005

A. Nadjaran-toosi, R. N. Calheiros, and R. Buyya, Interconnected cloud computing environments: Challenges, taxonomy, and survey, ACM Comput. Surv, vol.477, issue.1, pp.1-7, 2014.

Y. Elkhatib, Mapping cross-cloud systems: Challenges and opportunities, Proceedings of the 8th USENIX Conference on Hot Topics in Cloud Computing, HotCloud'16, pp.77-83

D. Petcu, B. D. Martino, S. Venticinque, M. Rak, T. Máhr et al., Experiences in building a mOSAIC of clouds, Journal of Cloud Computing: Advances, Systems and Applications, p.12, 2013.
DOI : 10.1145/2331576.2331584
URL : https://journalofcloudcomputing.springeropen.com/track/pdf/10.1186/2192-113X-2-12?site=journalofcloudcomputing.springeropen.com

A. Brogi, A. Ibrahim, J. Soldani, J. Carrasco, J. Cubo et al., SeaClouds, ACM SIGSOFT Software Engineering Notes, vol.39, issue.1, pp.1-4, 2014.
DOI : 10.1145/2557833.2557844

N. Ferry, H. Song, A. Rossini, F. Chauvel, and A. Solberg, CloudMF: Applying MDE to Tame the Complexity of Managing Multi-cloud Applications, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, pp.269-277, 2014.
DOI : 10.1109/UCC.2014.36

N. Grozev and R. Buyya, Multi-Cloud Provisioning and Load Distribution for Three-Tier Applications, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.3, pp.1-13, 2014.
DOI : 10.1002/9780470940105.ch18

S. Paul, R. Jain, M. Samaka, and J. Pan, Application delivery in multi-cloud environments using software defined networking, Communications and Networking in the Cloud, pp.166-186, 2014.
DOI : 10.1016/j.comnet.2013.12.005

P. Jamshidi, C. Pahl, and N. C. Mendonça, Pattern-based multi-cloud architecture migration. Software: Practice and Experience, pp.1159-1184, 2017.
DOI : 10.1002/spe.2442

X. Wang, J. Cao, and Y. Xiang, Dynamic cloud service selection using an adaptive learning mechanism in multi-cloud computing, Journal of Systems and Software, vol.100, pp.195-210, 2015.
DOI : 10.1016/j.jss.2014.10.047

L. Heilig, E. Lalla-ruiz, and S. Voß, A cloud brokerage approach for solving the resource management problem in multi-cloud environments, Computers & Industrial Engineering, vol.95, pp.16-26, 2016.
DOI : 10.1016/j.cie.2016.02.015

L. Heilig, R. Buyya, and S. Voß, Location-aware brokering for consumers in multi-cloud computing environments, Journal of Network and Computer Applications, pp.79-93, 2017.
DOI : 10.1016/j.jnca.2017.07.010

E. Di-nitto, P. Matthews, D. Petcu, and A. Solberg, Model- Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach, pp.978-981, 2017.
DOI : 10.1007/978-3-319-46031-4

A. Ferreira-leite, V. Alves, G. Nunes-rodrigues, C. Tadonki, C. Eisenbeis et al., Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method, Cluster Computing, vol.31, issue.3, pp.1951-1976, 2017.
DOI : 10.1016/j.comcom.2007.08.033
URL : https://hal.archives-ouvertes.fr/hal-01528764

J. L. , L. Simarro, R. Moreno-vozmediano, S. Ruben, I. M. Montero et al., Dynamic placement of virtual machines for cost optimization in multi-cloud environments, High Performance Computing and Simulation (HPCS), 2011 International Conference on, pp.1-7, 2011.
DOI : 10.1109/hpcsim.2011.5999800

J. García-galán, P. Trinidad, O. F. Rana, and A. Ruiz-cortés, Automated configuration support for infrastructure migration to the cloud, Future Generation Computer Systems, vol.55, pp.200-212, 2016.
DOI : 10.1016/j.future.2015.03.006

E. Wittern, J. Kuhlenkamp, and M. Menzel, Cloud service selection based on variability modeling. Service-Oriented Computing, pp.127-141, 2012.
DOI : 10.1007/978-3-642-34321-6_9

B. Dougherty, J. White, and D. C. Schmidt, Model-driven auto-scaling of green cloud computing infrastructure, Future Generation Computer Systems, vol.28, issue.2, pp.371-378, 2012.
DOI : 10.1016/j.future.2011.05.009
URL : http://www.dre.vanderbilt.edu/~schmidt/PDF/Model-driven-Auto-scaling-of-Green-Cloud-Computing-Infrastructure.pdf

C. Quinton, D. Romero, and L. Duchien, SALOON: a platform for selecting and configuring cloud environments. Software: Practice and Experience, pp.55-78, 2016.
DOI : 10.1002/spe.2311
URL : https://hal.archives-ouvertes.fr/hal-01011039

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, p.9783642063640, 2010.
DOI : 10.1007/3-540-28901-1

N. Ferry, A. Rossini, F. Chauvel, B. Morin, and A. Solberg, Towards Model-Driven Provisioning, Deployment, Monitoring, and Adaptation of Multi-cloud Systems, 2013 IEEE Sixth International Conference on Cloud Computing, pp.887-894, 2013.
DOI : 10.1109/CLOUD.2013.133
URL : http://www.intercloudtestbed.org/uploads/2/1/3/9/21396364/towards_model-driven_provisioning_deployment_monitoring_and_adaptation_of_multi-cloud_systems.pdf

D. Petcu, Multi-Cloud, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, MultiCloud '13, pp.1-6, 2013.
DOI : 10.1145/2462326.2462328

T. Erl, SOA: Principles of Service Design, 2007.

G. Sousa, W. Rudametkin, and L. Duchien, Automated Setup of Multi-cloud Environments for Microservices Applications, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD), pp.327-334, 2016.
DOI : 10.1109/CLOUD.2016.0051
URL : https://hal.archives-ouvertes.fr/hal-01312606

G. Sousa, W. Rudametkin, and L. Duchien, Extending Dynamic Software Product Lines with Temporal Constraints, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.129-139, 2017.
DOI : 10.1109/SEAMS.2017.6
URL : https://hal.archives-ouvertes.fr/hal-01482014

G. Sousa, W. Rudametkin, and L. Duchien, Extending feature models with relative cardinalities, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, pp.79-88, 2016.
DOI : 10.1007/978-3-540-68073-4_18
URL : https://hal.archives-ouvertes.fr/hal-01312751

R. Buyya, C. Shin-yeo, S. Venugopal, J. Broberg, and I. Brandic, Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility, Future Generation Computer Systems, vol.25, issue.6, pp.599-616, 2009.
DOI : 10.1016/j.future.2008.12.001
URL : http://www.gridbus.org/reports/CloudITPlatforms2008.pdf

K. Jeffery, G. Horn, and L. Schubert, A vision for better cloud applications, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, MultiCloud '13, pp.7-12, 2013.
DOI : 10.1145/2462326.2462329

G. Baryannis, P. Garefalakis, K. Kritikos, and K. Magoutis, Antonis Papaioannou, Dimitris Plexousakis, and Chrysostomos Zeginis Lifecycle management of service-based applications on multi-clouds: a research roadmap, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, pp.13-20, 2013.
DOI : 10.1145/2462326.2462331

C. Zeginis, K. Kritikos, P. Garefalakis, K. Konsolaki, K. Magoutis et al., Towards Cross-Layer Monitoring of Multi-Cloud Service-Based Applications, European Conference on Service-Oriented and Cloud Computing, pp.188-195, 2013.
DOI : 10.1007/978-3-642-40651-5_16

K. Kritikos and D. Plexousakis, Multi-cloud Application Design through Cloud Service Composition, 2015 IEEE 8th International Conference on Cloud Computing, pp.686-693, 2015.
DOI : 10.1109/CLOUD.2015.96

J. Domaschka, F. Griesinger, D. Baur, and A. Rossini, Beyond Mere Application Structure Thoughts on the Future of Cloud Orchestration Tools, Procedia Computer Science, vol.68, pp.151-162, 2015.
DOI : 10.1016/j.procs.2015.09.231
URL : https://doi.org/10.1016/j.procs.2015.09.231

D. Baur and J. Domaschka, Experiences from building a cross-cloud orchestration tool, Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, CrossCloud '16, pp.1-4
DOI : 10.1109/CloudCom.2014.170

A. Rossini, K. Kritikos, N. Nikolov, J. Domaschka, F. Griesinger et al., The cloud application modelling and execution language (camel), 2017.

D. Ardagna, E. D. Nitto, G. Casale, D. Petcu, P. Mohagheghi et al., MODAClouds: A model-driven approach for the design and execution of applications on multiple Clouds, 2012 4th International Workshop on Modeling in Software Engineering (MISE), pp.50-56, 2012.
DOI : 10.1109/MISE.2012.6226014

M. Guerriero, M. Ciavotta, G. P. Gibilisco, and D. Ardagna, A Model-Driven DevOps Framework for QoS-Aware Cloud Applications, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp.345-351, 2015.
DOI : 10.1109/SYNASC.2015.60
URL : https://re.public.polimi.it/bitstream/11311/978121/1/MICAS2015.pdf

A. Bergmayr, A. Rossini, N. Ferry, G. Horn, L. Orue-echevarria et al., The evolution of cloudml and its manifestations, Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE), pp.1-6, 2015.

N. Ferry, F. Chauvel, A. Rossini, B. Morin, and A. Solberg, Managing multi-cloud systems with CloudMF, Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, pp.38-45, 2013.
DOI : 10.1145/2513534.2513542

N. Ferry, G. Brataas, and A. Rossini, Franck Chauvel, and Arnor Solberg. Towards bridging the gap between scalability and elasticity, CLOSER, pp.746-751, 2014.

N. Ferry, F. Chauvel, H. Song, and A. Solberg, Continous deployment of multi-cloud systems, Proceedings of the 1st International Workshop on Quality-Aware DevOps, QUDOS 2015, pp.27-28, 2015.
DOI : 10.1007/978-1-4302-4570-4

D. Beniamino-di-martino, R. Petcu, P. Cossu, T. Goncalves, M. Máhr et al., Building a Mosaic of Clouds, European Conference on Parallel Processing, pp.571-578, 2010.
DOI : 10.1109/MIC.2009.94

S. Venticinque, R. Aversa, B. D. Martino, M. Rak, and D. Petcu, A Cloud Agency for SLA Negotiation and Management, European Conference on Parallel Processing, pp.587-594, 2010.
DOI : 10.1007/s10723-006-9049-1

M. Rak, S. Venticinque, G. Echevarria, and G. Esnal, Cloud Application Monitoring: The mOSAIC Approach, 2011 IEEE Third International Conference on Cloud Computing Technology and Science, pp.758-763, 2011.
DOI : 10.1109/CloudCom.2011.117

F. Moscato, R. Aversa, B. D. Martino, T. Forti?, and V. Munteanu, An analysis of mosaic ontology for cloud resources annotation, Computer Science and Information Systems (FedCSIS), 2011 Federated Conference on, pp.973-980, 2011.
DOI : 10.1201/b11149-24

D. Petcu, C. Cr?ciun, M. Neagul, I. Lazcanotegui, and M. Rak, Building an interoperability API for Sky computing, 2011 International Conference on High Performance Computing & Simulation, pp.405-411, 2011.
DOI : 10.1109/HPCSim.2011.5999853

G. Cretella and B. Martino, Towards a Semantic Engine for Cloud Applications Development, 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems, pp.198-203, 2012.
DOI : 10.1109/CISIS.2012.159

D. Petcu, S. Panica, C. ?andru, M. Ciprian-dorin-cr?ciun, and . Neagul, Experiences in Building an Event-Driven and Deployable Platform as a Service, International Conference on Web Information Systems Engineering, pp.666-672, 2012.
DOI : 10.1007/978-3-642-35063-4_51

A. Amato, L. Tasquier, and A. Copie, Vendor agents for iaas cloud interoperability. Intelligent Distributed Computing VI, pp.271-280, 2013.
DOI : 10.1007/978-3-642-32524-3_34

D. Petcu, G. Macariu, S. Panica, and C. Cr?ciun, Portable Cloud applications???From theory to practice, Future Generation Computer Systems, vol.29, issue.6, pp.1417-1430, 2013.
DOI : 10.1016/j.future.2012.01.009

C. Victor-ion-munteanu, D. ?andru, and . Petcu, Multi-cloud resource management: cloud service interfacing, Journal of Cloud Computing: Advances, Systems and Applications, vol.3, issue.1, p.3, 2014.
DOI : 10.1016/j.future.2012.01.009

A. Amato, G. Cretella, B. D. Martino, L. Tasquier, and S. Venticinque, Semantic Engine and Cloud Agency for Vendor Agnostic Retrieval, Discovery, and Brokering of Cloud Services, International Conference on Intelligent Cloud Computing, pp.8-25, 2014.
DOI : 10.1007/978-3-319-19848-4_2

F. Dandria, S. Bocconi, J. G. Cruz, J. Ahtes, and D. Zeginis, Cloud4SOA: Multi-cloud Application Management Across PaaS Offerings, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.407-414, 2012.
DOI : 10.1109/SYNASC.2012.65

E. Kamateri, N. Loutas, D. Zeginis, J. Ahtes, F. D. Andria et al., Panagiotis Gouvas, Giannis Ledakis, Franco Ravagli, Oleksandr Lobunets, et al. Cloud4soa: A semantic-interoperability paas solution for multi-cloud platform management and portability, European Conference on Service-Oriented and Cloud Computing, pp.64-78, 2013.

A. Corradi, L. Foschini, A. Pernafini, F. Bosi, V. Laudizio et al., Cloud PaaS Brokering in Action: The Cloud4SOA Management Infrastructure, 2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall), pp.2015-82, 2015.
DOI : 10.1109/VTCFall.2015.7390868

F. Paraiso, N. Haderer, P. Merle, R. Rouvoy, and L. Seinturier, A Federated Multi-cloud PaaS Infrastructure, 2012 IEEE Fifth International Conference on Cloud Computing, pp.392-399, 2012.
DOI : 10.1109/CLOUD.2012.79
URL : https://hal.archives-ouvertes.fr/hal-00694700

F. Paraiso, P. Merle, and L. Seinturier, soCloud: a service-oriented component-based PaaS for managing portability, provisioning, elasticity, and high availability across multiple clouds, Computing, vol.1, issue.1, pp.98539-565, 2016.
DOI : 10.1007/s13174-010-0007-6
URL : https://hal.archives-ouvertes.fr/hal-01019385

A. Brogi, M. Fazzolari, A. Ibrahim, J. Soldani, J. Carrasco et al., Adaptive management of applications across multiple clouds: The SeaClouds Approach, CLEI electronic journal, vol.18, issue.1, pp.2-2, 2015.
DOI : 10.19153/cleiej.18.1.1
URL : https://doi.org/10.19153/cleiej.18.1.1

M. Oriol, D. Perez, S. Zenzaro, M. Buccarella, and J. Cubo, Seaclouds project d3.3 -seaclouds discovery and adaptation components prototype, 2015.

A. Turli, D. Perez, and J. Cubo, Seaclouds project d5.4.3 -final version of sw platform, 2016.

A. Brogi, J. Carrasco, J. Cubo, F. D. Andria, E. D. Nitto et al., SeaClouds: An Open Reference Architecture for Multi-cloud Governance, Software Architecture: 10th European Conference Proceedings 10, pp.334-338, 2016.
DOI : 10.1109/CLOUD.2013.105
URL : https://riuma.uma.es/xmlui/bitstream/10630/12561/1/SeaClouds-ECSA16.pdf

A. Computing, An architectural blueprint for autonomic computing, p.31, 2006.

T. Binz, U. Breitenbücher, O. Kopp, and F. Leymann, TOSCA: Portable Automated Deployment and Management of Cloud Applications, Advanced Web Services, pp.527-549, 2014.
DOI : 10.1007/978-1-4614-7535-4_22

A. Ferreira-leite, V. Alves, G. Nunes-rodrigues, C. Tadonki, C. Eisenbeis et al., Automating resource selection and configuration in inter-clouds through a software product line method, Proc. 8th IEEE Int. Conf. Cloud Computing, pp.726-733, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01252985

T. Liu, Y. Katsuno, K. Sun, Y. Li, T. Kushida et al., Multi Cloud Management for unified cloud services across cloud sites, 2011 IEEE International Conference on Cloud Computing and Intelligence Systems, pp.164-169, 2011.
DOI : 10.1109/CCIS.2011.6045053

L. Manh-pham, A. Tchana, D. Donsez, V. Zurczak, P. Gibello et al., An adaptable framework to deploy complex applications onto multi-cloud platforms, The 2015 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for Future (RIVF), pp.169-174, 2015.
DOI : 10.1109/RIVF.2015.7049894

L. Manh-pham, A. Tchana, D. Donsez, N. D. Palma, V. Zurczak et al., Roboconf: a hybrid cloud orchestrator to deploy complex applications, Cloud Computing (CLOUD), 2015 IEEE 8th International Conference on, pp.365-372, 2015.

D. Le, H. Truong, G. Copil, S. Nastic, and S. Dustdar, SALSA: A Framework for Dynamic Configuration of Cloud Services, 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, pp.146-153, 2014.
DOI : 10.1109/CloudCom.2014.99

E. Marc, C. Frincu, and . Craciun, Multi-objective meta-heuristics for scheduling applications with high availability requirements and cost constraints in multi- References cloud environments, Utility and Cloud Computing (UCC), 2011 Fourth IEEE International Conference on, pp.267-274, 2011.

J. Tordsson, S. Rubén, R. Montero, I. M. Moreno-vozmediano, and . Llorente, Cloud brokering mechanisms for optimized placement of virtual machines across multiple providers, Future Generation Computer Systems, vol.28, issue.2, pp.358-367, 2012.
DOI : 10.1016/j.future.2011.07.003

J. Luis-lucas-simarro, R. Moreno-vozmediano, S. Ruben, I. M. Montero, and . Llorente, Cost optimization of virtual infrastructures in dynamic multicloud scenarios. Concurrency and Computation: Practice and Experience, pp.2260-2277, 2015.

K. Sanjaya, . Panda, K. Prasanta, and . Jana, Efficient task scheduling algorithms for heterogeneous multi-cloud environment, The Journal of Supercomputing, vol.71, issue.4, pp.1505-1533, 2015.

P. Silva, C. Perez, and F. Desprez, Efficient Heuristics for Placing Large-Scale Distributed Applications on Multiple Clouds, 2016 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), pp.483-492, 2016.
DOI : 10.1109/CCGrid.2016.77
URL : https://hal.archives-ouvertes.fr/hal-01301382

Y. Singh, F. Kandah, and W. Zhang, A secured cost-effective multicloud storage in cloud computing, Computer Communications Workshops (INFOCOM WKSHPS), 2011 IEEE Conference on, pp.619-624, 2011.
DOI : 10.1109/infcomw.2011.5928887

E. Stefanov and E. Shi, Multi-cloud oblivious storage, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, CCS '13, pp.247-258, 2013.
DOI : 10.1145/2508859.2516673
URL : https://www.cs.umd.edu/~elaine/docs/multicloud.pdf

E. Cavalcante, A. Almeida, T. Batista, N. Cacho, F. Lopes et al., Exploiting software product lines to develop cloud computing applications, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.179-187
DOI : 10.1145/2364412.2364442

A. Almeida, E. Cavalcante, T. Batista, N. Cacho, F. Lopes et al., Dynamic adaptation of cloud computing applications, SEKE, pp.67-72, 2013.

R. Mietzner, A. Metzger, F. Leymann, and K. Pohl, Variability modeling to support customization and deployment of multi-tenant-aware Software as a Service applications, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, pp.18-25, 2009.
DOI : 10.1109/PESOS.2009.5068815

T. Stefan, U. Ruehl, and . Andelfinger, Applying software product lines to create customizable software-as-a-service applications, Proceedings of the 15th International Software Product Line Conference, pp.1-16, 2011.

T. Stefan, U. Ruehl, A. Andelfinger, . Rausch, A. Stephan et al., Toward realization of deployment variability for software-as-a-service applications, Cloud computing (cloud), 2012 ieee 5th international conference on, pp.622-629, 2012.

J. Schroeter, P. Mucha, M. Muth, K. Jugel, and M. Lochau, Dynamic configuration management of cloud-based applications, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.171-178
DOI : 10.1145/2364412.2364441

S. Walraven, D. Van-landuyt, E. Truyen, K. Handekyn, and W. Joosen, Efficient customization of multi-tenant Software-as-a-Service applications with service lines, Journal of Systems and Software, vol.91, pp.48-62, 2014.
DOI : 10.1016/j.jss.2014.01.021

P. Jamshidi and C. Pahl, Orthogonal Variability Modeling to Support Multi-cloud Application Configuration, European Conference on Service-Oriented and Cloud Computing, pp.249-261, 2014.
DOI : 10.1007/978-3-319-14886-1_23
URL : http://doras.dcu.ie/20061/1/SEACLOUDS-CR1.pdf

A. Metzger, A. Bayer, D. Doyle, K. Amir-molzam-sharifloo, F. Pohl et al., Coordinated run-time adaptation of variability-intensive systems, Proceedings of the 1st International Workshop on Variability and Complexity in Software Design, VACE '16, pp.5-11
DOI : 10.1109/SPLC.2008.16

G. Tam-le-nhan, J. Sunyé, and . Jézéquel, A model-based approach for optimizing power consumption of iaas, Network Cloud Computing and Applications (NCCA), 2012 Second Symposium on, pp.31-39, 2012.

G. Tam-le-nhan, J. Sunyé, and . Jézéquel, A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing, ESOCC, vol.7592, pp.107-121, 2012.
DOI : 10.1007/978-3-642-33427-6_8

J. García-galán, O. Rana, P. T. , M. Arroyo, and A. R. Cortés, Migrating to the cloud: a software product line based analysis, 3Rd International Conference on Cloud Computing and Services Science, 2013.

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2001.

B. Pine, Mass customization: the new frontier in business competition, 1993.

T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker et al., A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, p.7, 2013.
DOI : 10.1145/2430502.2430513

S. Apel and C. Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 2009.
DOI : 10.5381/jot.2009.8.5.c5
URL : http://www.jot.fm/issues/issue_2009_07/column5.pdf

C. Kyo, . Kang, G. Sholom, . Cohen, A. James et al., Feature-oriented domain analysis (foda) feasibility study, 1990.

C. Kästner, S. Apel, and M. Kuhlemann, Granularity in software product lines, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.311-320, 2008.
DOI : 10.1145/1368088.1368131

C. Parra, A. Cleve, X. Blanc, and L. Duchien, Feature-Based Composition of Software Architectures, 4th European Conference on Software Architecture, pp.230-245, 2010.
DOI : 10.1109/SCC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00512716

T. Thüm, C. Kästner, F. Benduhn, J. Meinicke, G. Saake et al., FeatureIDE: An extensible framework for feature-oriented software development, Science of Computer Programming, vol.79, pp.70-85, 2014.
DOI : 10.1016/j.scico.2012.06.002

R. Schröter, S. Krieter, T. Thüm, F. Benduhn, and G. Saake, Feature-model interfaces, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.667-678, 2016.
DOI : 10.1007/978-3-540-30482-1_16

J. García-galán, J. M. García, P. Trinidad, and P. Fernández, Modelling and analysing highly-configurable services, Proceedings of the 21st International Systems and Software Product Line Conference-Volume A, pp.114-122, 2017.

H. Hartmann and T. Trew, Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains, 2008 12th International Software Product Line Conference, pp.12-21, 2008.
DOI : 10.1109/SPLC.2008.15

R. Capilla, M. Ortiz, and . Hinchey, Context Variability for Context-Aware Systems, Computer, vol.47, issue.2, pp.85-87, 2014.
DOI : 10.1109/MC.2014.33

K. Mens, R. Capilla, N. Cardozo, and B. Dumas, A taxonomy of context-aware software variability approaches, Companion Proceedings of the 15th International Conference on Modularity, MODULARITY Companion 2016, pp.119-124, 2016.
DOI : 10.1007/978-3-642-35813-5_1

K. Czarnecki, U. Eisenecker, R. Glück, D. Vandevoorde, and T. Veldhuizen, Generative Programming and Active Libraries, Generic Programming, pp.25-39, 2000.
DOI : 10.1007/3-540-39953-4_3

D. Batory, Feature Models, Grammars, and Propositional Formulas, Proc. 9th Int. Conf. Software Product Lines (SPLC'05), pp.7-20, 2005.
DOI : 10.1007/11554844_3
URL : http://www.cs.utexas.edu/ftp/pub/techreports/tr05-14.pdf

Y. Bontemps, P. Heymans, P. Schobbens, and J. Trigaux, Semantics of foda feature diagrams, Proceedings SPLC 2004 Workshop on Software Variability Management for Product Derivation?Towards Tool Support, pp.48-58, 2004.

J. Sun, H. Zhang, Y. Fang, and L. H. Wang, Formal semantics and verification for feature modeling, Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on, pp.303-312, 2005.

S. Fan and N. Zhang, Feature Model Based on Description Logics, Knowledge-Based Intelligent Information and Engineering Systems, pp.1144-1151, 2006.
DOI : 10.1007/11893004_145

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001
URL : https://idus.us.es/xmlui/bitstream/11441/24694/1/Automated%20Analysis%20of%20featured%2020%20Years%20Later%20a%20literature%20review.pdf

M. Mendonca, A. W?sowski, and K. Czarnecki, Sat-based analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference, SPLC '09, pp.231-240, 2009.

J. Hui-liang, V. Ganesh, K. Czarnecki, and V. Raman, Satbased analysis of large real-world feature models is easy, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.91-100

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow, Extending feature diagrams with UML multiplicities, Proc. 6th World Conference Integrated Design & Process Technology, 2002.

K. Czarnecki, T. Bednasch, P. Unger, and U. W. Eisenecker, Generative Programming for Embedded Software: An Industrial Experience Report, Proc. 1st ACM SIGPLAN/SIGSOFT Conf. Generative Programming and Component Engineering, pp.156-172, 2002.
DOI : 10.1007/3-540-45821-2_10

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged Configuration Using Feature Models, Proc. 3rd Software Product Line Conference, pp.266-283, 2004.
DOI : 10.1007/978-3-540-28630-1_17

K. Czarnecki, S. Helsen, and U. Eisenecker, Formalizing cardinalitybased feature models and their specialization. Software Process: Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213

K. Czarnecki and C. Kim, Cardinality-based feature modeling and constraints: A progress report, Proc. Int. Workshop Software Factories, pp.16-20, 2005.

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cortés, Using java csp solvers in the automated analyses of feature models. Lecture notes in computer science, p.399, 2006.

P. S. Jose-ramón-salazar-ramírez, L. F. Barreiro, and . Fernández, Herramienta para el modelado y configuración de modelos de características, 2009.

N. Gamez and L. Fuentes, Software product line evolution with cardinalitybased feature models, Proc. 12th Int. Conf. Software Reuse, pp.102-118, 2011.
DOI : 10.1007/978-3-642-21347-2_9

A. Gómez and I. Ramos, Automatic Tool Support for Cardinality-Based Feature Modeling with Model Constraints for Information Systems Development, Information Systems Development, pp.271-284, 2011.
DOI : 10.1007/978-1-4419-9790-6_22

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-michiels, Transforming attribute and clone-enabled feature models into constraint programs over finite domains URL https, Proc. 6th Int. Conf. Evaluation of Novel Approaches to Software Engineering, 2011.

C. Quinton, D. Romero, and L. Duchien, Cardinality-based feature models with constraints, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.162-166, 2013.
DOI : 10.1145/2491627.2491638
URL : https://hal.archives-ouvertes.fr/hal-00825971

A. Serkan-karata?, H. O?uztüzün, and A. Do?ru, From extended feature models to constraint logic programming, Science of Computer Programming, vol.78, issue.12, pp.2295-2312, 2013.
DOI : 10.1016/j.scico.2012.06.004

A. Serkan, K. , and H. O?uztüzün, Attribute-based variability in feature models, Requirements Engineering, vol.21, issue.2, pp.185-208, 2016.

D. Dhungana, A. Falkner, and A. Haselbock, Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.100-103, 2011.
DOI : 10.1109/SEAA.2011.24

T. Schnabel, M. Weckesser, R. Kluge, M. Lochau, and A. Schürr, CardyGAn, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '16, pp.33-40, 2016.
DOI : 10.1007/978-3-540-68073-4_18

M. Weckesser, M. Lochau, T. Schnabel, B. Richerzhagen, and A. Schürr, Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models, International Conference on Fundamental Approaches to Software Engineering, pp.158-175, 2016.
DOI : 10.1007/978-3-540-68073-4_18

R. Michel, A. Classen, A. Hubaux, and Q. Boucher, A formal semantics for feature cardinalities in feature diagrams, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.82-89, 2011.
DOI : 10.1145/1944892.1944902

M. Hinchey, S. Park, and K. Schmid, Building Dynamic Software Product Lines, Computer, vol.45, issue.10, pp.4522-4548, 2012.
DOI : 10.1109/MC.2012.332

N. Bencomo, S. Gordon, C. A. Blair, P. Flores-cortés, and . Sawyer, Reflective component-based technologies to support dynamic variability, VaMoS, pp.141-150, 2008.

B. Morin, O. Barais, and J. Jezequel, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51327, 2009.
DOI : 10.1109/MC.2009.327

N. Bencomo, S. Hallsteinsen, and E. Santana-de-almeida, A View of the Dynamic Software Product Line Landscape, Computer, vol.45, issue.10, pp.36-41, 2012.
DOI : 10.1109/MC.2012.292
URL : http://publications.aston.ac.uk/19489/1/Career_development_progresion_and_trust.pdf

J. Bosch and R. Capilla, Dynamic Variability in Software-Intensive Embedded System Families, Computer, vol.45, issue.10, pp.28-35, 2012.
DOI : 10.1109/MC.2012.287

L. Baresi and C. Quinton, Dynamically Evolving the Structural Variability of Dynamic Software Product Lines, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.57-63, 2015.
DOI : 10.1109/SEAMS.2015.24
URL : https://hal.archives-ouvertes.fr/hal-01120248

K. Saller, M. Lochau, and I. Reimund, Context-aware DSPLs, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.106-113, 2013.
DOI : 10.1145/2499777.2500716

A. Murguzur, R. Capilla, S. Trujillo, Ó. Ortiz, and R. E. Lopez-herrejon, Context variability modeling for runtime configuration of servicebased dynamic software product lines, Proceedings of the 18th International Software Product Line Conference, pp.2-9
DOI : 10.1145/2647908.2655957

R. Capilla, M. Hinchey, and F. J. Díaz, Collaborative Context Features for Critical Systems Workshop Variability Modelling of Softwareintensive Systems (VaMoS'15), Proc. 9th Int, pp.43-50, 2015.
DOI : 10.1145/2701319.2701322

N. Bencomo, P. Sawyer, S. Gordon, P. Blair, and . Grace, Dynamically adaptive systems are product lines too: Using model-driven techniques to capture dynamic variability of adaptive systems, The 2nd International Workshop on Dynamic Software Product Lines, 2008.

N. Gamez, L. Fuentes, and M. A. Aragüez, Autonomic Computing Driven by Feature Models and Architecture in FamiWare, pp.164-179978, 2011.
DOI : 10.1109/MC.2009.309

L. Baresi, S. Guinea, and L. Pasquale, Service-Oriented Dynamic Software Product Lines, Computer, vol.45, issue.10, pp.4542-4590, 2012.
DOI : 10.1109/MC.2012.289
URL : https://re.public.polimi.it/bitstream/11311/690829/1/dspl.pdf

S. Amanda, . Nascimento, M. Cecilia, F. Rubira, and . Castor, Using cvl to support self-adaptation of fault-tolerant service compositions, Self-Adaptive and Self-Organizing Systems (SASO), 2013 IEEE 7th International Conference on, pp.261-262, 2013.

C. Ghezzi and A. Sharifloo, Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines, Software Engineering for Self-Adaptive Systems II, pp.191-213, 2013.
DOI : 10.1007/3-540-28901-1

I. Kumara, J. Han, A. Colman, and M. Kapuruge, Runtime Evolution of Service-Based Multi-tenant SaaS Applications, International Conference on Service-Oriented Computing, pp.192-206, 2013.
DOI : 10.1007/978-3-642-45005-1_14

D. Brugali, R. Capilla, and M. Hinchey, Dynamic Variability Meets Robotics, Computer, vol.48, issue.12, pp.94-97, 2015.
DOI : 10.1109/MC.2015.354

A. Murguzur, S. Trujillo, H. Truong, S. Dustdar, O. Ortiz et al., Runtime Variability for Context-aware Smart Workflows, IEEE Software, 2015.
DOI : 10.1109/MS.2015.80

M. Pfannemüller, C. Krupitzer, M. Weckesser, and C. Becker, A Dynamic Software Product Line Approach for Adaptation Planning in Autonomic Computing Systems, 2017 IEEE International Conference on Autonomic Computing (ICAC), pp.247-254, 2017.
DOI : 10.1109/ICAC.2017.18

N. Bencomo, P. Grace, C. Flores, D. Hughes, G. Blair et al., Supporting the Model Driven Development of Reflective, Component-based Adaptive Systems, Proc. 30th Int. Conf. Software Engineering (ICSE'08), pp.811-814, 2008.

P. Sawyer, R. Mazo, D. Diaz, C. Salinesi, and D. Hughes, Using Constraint Programming to Manage Configurations in Self-Adaptive Systems, Computer, vol.45, issue.10, pp.4556-63, 2012.
DOI : 10.1109/MC.2012.286

M. Acher, P. Collet, F. Fleurey, P. Lahire, S. Moisan et al., Modeling context and dynamic adaptations with feature models, 4th International Workshop Models@ run. time at Models, p.10, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00419990

R. Capilla and J. Bosch, Binding Time and Evolution, Systems and Software Variability Management: Concepts, Tools and Experiences, pp.57-73978
DOI : 10.1007/978-3-642-36583-6_4

D. Vander-alves, M. Schneider, N. Becker, P. Bencomo, and . Grace, Comparative study of variability management in software product lines and runtime adaptable systems, Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pp.9-17, 2009.

M. Bashari, E. Bagheri, and W. Du, Dynamic Software Product Line Engineering: A Reference Framework, International Journal of Software Engineering and Knowledge Engineering, vol.17, issue.5, pp.191-234, 2017.
DOI : 10.1016/j.jss.2013.12.038
URL : http://www.worldscientific.com/doi/pdf/10.1142/S0218194017500085

Y. Brun, G. D. , M. Serugendo, C. Gacek, H. Giese et al., Engineering self-adaptive systems through feedback loops. Software engineering for self-adaptive systems, pp.48-70, 2009.
DOI : 10.1007/978-3-642-02161-9_3
URL : http://www.cs.kuleuven.be/%7Edanny/csds/Brun09.pdf

A. Safilian and T. Maibaum, Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), pp.136-143, 2016.
DOI : 10.1109/TASE.2016.14

A. Safilian, T. Maibaum, and Z. Diskin, The semantics of cardinalitybased feature models via formal languages, Proc. 20th Int. Symp. Formal Methods, pp.453-469, 2015.
DOI : 10.1007/978-3-319-19249-9_28

R. Openshift, OpenShift Online User Guide. https://access.redhat.com/ documentation, 2014.

W. Zhang, H. Yan, H. Zhao, and Z. Jin, A BDD-Based Approach to Verifying Clone-Enabled Feature Models??? Constraints and Customization, Proc. 10th Int. Conf. Software Reuse, pp.186-199, 2008.
DOI : 10.1007/978-3-540-68073-4_18

C. Quinton, A. Pleuss, D. L. Berre, L. Duchien, and G. Botterweck, Consistency checking for the evolution of cardinality-based feature models, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.122-131, 2014.
DOI : 10.1145/2648511.2648524
URL : https://hal.archives-ouvertes.fr/hal-01054604

D. Batory, D. Benavides, and A. Ruiz-cortes, Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, pp.45-47, 2006.
DOI : 10.1145/1183236.1183264

L. Bettini, Implementing Domain-Specific Languages with Xtext and Xtend, 2013.

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF: Eclipse Modeling Framework. Pearson Education, 2008.

O. Omg, Object constraint language (OCL), version 2.3.1, p.2012

C. Prud-'homme, J. Fages, and X. Lorca, Choco Documentation

M. Stumptner, E. Gerhard, A. Friedrich, and . Haselböck, Generative constraint-based configuration of large technical systems, AI EDAM, vol.12, issue.04, pp.307-320, 1998.
DOI : 10.1017/S0890060498124046

C. Salinesi, R. Mazo, O. Djebbi, D. Diaz, and A. Lora-michiels, Constraints: The core of product line engineering, 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE, pp.1-10, 2011.
DOI : 10.1109/RCIS.2011.6006825
URL : https://hal.archives-ouvertes.fr/hal-00707544

A. Hubaux and P. Heymans, On the evaluation and improvement of feature-based configuration techniques in software product lines, 2009 31st International Conference on Software Engineering, Companion Volume, pp.367-370, 2009.
DOI : 10.1109/ICSE-COMPANION.2009.5071023

J. Mauro, M. Nieke, C. Seidl, and I. C. Yu, Context Aware Reconfiguration in Software Product Lines, Proc. 10th Int. Workshop Variability Modelling of Software-intensive Systems (VaMoS'16), pp.41-48, 2016.
DOI : 10.1145/2866614.2866620

J. Lee and K. C. Kang, A feature-oriented approach to developing dynamically reconfigurable products in product line engineering, Proc. 10th Int. Software Product Line Conf. (SPLC'06), pp.131-140, 2006.

J. Bürdek, S. Lity, M. Lochau, M. Berens, U. Goltz et al., Staged configuration of dynamic software product lines with complex binding time constraints, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, 2013.
DOI : 10.1145/2556624.2556627

M. Lochau, J. Bürdek, S. Hölzle, and A. Schürr, Specification and automated validation of staged reconfiguration processes for dynamic software product lines. Software & Systems Modeling, pp.125-152, 2017.
DOI : 10.1007/s10270-015-0470-4

C. Cetina, P. Giner, J. Fons, and V. Pelechano, Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes, Computer, vol.42, issue.10, pp.4237-4280, 2009.
DOI : 10.1109/MC.2009.309

C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

Z. Manna and A. Pnueli, Temporal verification of reactive systems: safety, 2012.
DOI : 10.1007/978-1-4612-4222-2

Z. Manna and A. Pnueli, A hierarchy of temporal properties, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.377-410, 1989.
DOI : 10.1145/41840.41857

H. Maurice, A. Ter-beek, S. Fantechi, F. Gnesi, and . Mazzanti, An Action/State- Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications, Proc. 12th Int. Workshop Formal Methods for Industrial Critical Systems (FMICS'07), pp.133-148, 2008.

S. Chaki, E. M. Clarke, J. Ouaknine, N. Sharygina, and N. Sinha, State/Event-Based Software Model Checking, Proc. 4th Int. Conf. Integrated Formal Methods (IFM'04), pp.128-147, 2004.
DOI : 10.1007/978-3-540-24756-2_8
URL : http://www.cs.cmu.edu/~modelcheck/onr/pubs/stateevent04.pdf

C. Pecheur and F. Raimondi, Symbolic Model Checking of Logics with Actions, Proc. 4th Workshop Model Checking and Artificial Intelligence (MoChArt), pp.113-128, 2006.
DOI : 10.1007/978-3-540-74128-2_8
URL : http://discovery.ucl.ac.uk/5625/1/5625.pdf

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007.
DOI : 10.1109/SPLINE.2007.24

E. M. Clarke, O. Grumberg, and K. Hamaguchi, Another Look at LTL Model Checking. Formal Methods in System Design, pp.47-711008615614281, 1997.
DOI : 10.1007/3-540-58179-0_72
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1439&context=compsci

A. Cimatti, M. Pistore, M. Roveri, and R. Sebastiani, Improving the Encoding of LTL Model Checking into SAT Workshop Model Checking and Abstract Interpretation (VMCAI'02), Proc. 3rd Int, pp.196-207, 2002.
DOI : 10.1007/3-540-47813-2_14
URL : http://brenta.dit.unitn.it/~rseba/papers/vmcai02-cprs.ps.gz

Z. Conghua and J. Shiguang, SAT-based Bounded Model Checking for SE-LTL, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), pp.582-587, 2007.
DOI : 10.1109/SNPD.2007.242

N. Aguirre and T. Maibaum, A temporal logic approach to the specification of reconfigurable component-based systems, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.271-274, 2002.
DOI : 10.1109/ASE.2002.1115028

R. Thomas and . Gruber, Toward principles for the design of ontologies used for knowledge sharing? International journal of human-computer studies, pp.5-6907, 1995.

C. Feilmayr and W. Wöß, An analysis of ontologies and their success factors for application to business, Data & Knowledge Engineering, vol.101, pp.1-23, 2016.
DOI : 10.1016/j.datak.2015.11.003

D. Allemang and J. Hendler, Semantic web for the working ontologist: effective modeling in RDFS and OWL, 2014.

S. Staab, T. Walter, G. Gröner, and F. S. Parreiras, Model driven engineering with ontology technologies. Reasoning Web, pp.62-98, 2010.
DOI : 10.1007/978-3-642-15543-7_3
URL : http://www.uni-koblenz.de/%7Estaab/Research/Publications/2010/reasoningweb2010.pdf

T. Toolkit, Semantic Web + Model Driven Development, 2017.

B. Motik, R. Shearer, and I. Horrocks, Hypertableau Reasoning for Description Logics [203] Sock shop : A microservice demo application, Journal of Artificial Intelligence Research, vol.36, pp.165-228, 2009.

C. Quinton, Cloud Environment Selection and Configuration: A Software Product Lines-Based Approach. Theses URL https, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01079956