M. Setup, http://doc.mandriva.com/en/mes5/ Enterprise-Server-Manual-EN.html/CS-mss-intro.html, 2013.

P. Abate and S. Johannes, Bootstrapping software distributions, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, 2013.
DOI : 10.1145/2465449.2465461

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.
DOI : 10.1017/CBO9780511543357

M. Burgess, A Site Configuration Engine, Computing Systems, vol.8, issue.2, pp.309-337, 1995.

R. D. , C. , M. Lienhardt, R. Treinen, S. Zacchiroli et al., Optimal Provisioning in the Cloud, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00831455

R. D. , C. , J. Mauro, S. Zacchiroli, and G. Zavattaro, Component Reconfiguration in the Presence of Conflicts, ICALP 2013: 40th International Colloquium on Automata, Languages and Programming, pp.187-198, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909336

R. D. , C. , S. Zacchiroli, and G. Zavattaro, Towards a Formal Component Model for the Cloud, SEFM 2012: 10th International Conference on Software Engineering and Formal Methods, pp.156-171, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909369

X. Etchevers, T. Coupaye, F. Boyer, and N. De-palma, Self-Configuration of Distributed Applications in the Cloud, 2011 IEEE 4th International Conference on Cloud Computing, pp.668-675, 2011.
DOI : 10.1109/CLOUD.2011.65

URL : https://hal.archives-ouvertes.fr/hal-00941398

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: A Deployment Management System, PLDI'12: Programming Language Design and Implementation, pp.263-274, 2012.

M. Fox and D. Long, PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains, J. Artif. Intell. Res. (JAIR), vol.20, pp.61-124, 2003.

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to Automated Configuration, LISA '12: Large Installation System Administration Conference, pp.51-66, 2012.

L. Kanies, Puppet: Next-generation configuration management. ;login: the USENIX magazine, pp.19-25, 2006.

. Vmware, Cloud Foundry, deploy & scale your applications in seconds, 2013.