D. M. Chess and J. O. Kephart, The vision of autonomic computing, Computer, vol.36, issue.01, pp.41-50, 2003.

R. Boujbel, S. Rottenberg, S. Leriche, C. Taconet, J. Arcangeli et al., Muscadel: A deployment dsl based on a multiscale characterization framework, 2014 IEEE 38th International Computer Software and Applications Conference Workshops, pp.708-715, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01147250

L. Cudennec, G. Antoniu, and L. Bougé, CoRDAGe: towards transparent management of interactions between applications and ressources, Intl Workshop on Scalable Tools for High-End Computing, pp.13-24, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00288339

T. L. Nguyen, R. Nou, and A. Lebre, YOLO: Speeding up VM and Docker Boot Time by reducing I/O operations, EURO-PAR 2019 -European Conference on Parallel Processing, pp.273-287, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02172288

J. Darrous, S. Ibrahim, A. C. Zhou, and C. Pérez, Nitro: Network-Aware Virtual Machine Image Management in Geo-Distributed Clouds, CCGrid 2018 -18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing
URL : https://hal.archives-ouvertes.fr/hal-01745405

D. C. Washington, , pp.553-562, 2018.

, Topology and Orchestration Specification for Cloud Applications V1, vol.0, 2013.

T. Binz, U. Breitenbücher, F. Haupt, O. Kopp, F. Leymann et al., Opentosca -a runtime for toscabased cloud applications, pp.692-695, 2013.

C. Szyperski, Component Software: Beyond Object-Oriented Programming

M. A. Boston and . Usa, , 2002.

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time components in bip, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00375298

G. Blair, T. Coupaye, and J. Stefani, Component-based architecture: the Fractal initiative, Annals of telecommunications, vol.64, 2009.

M. Aldinucci, C. Bertolli, S. Campa, M. Coppola, M. Vanneschi et al., Autonomic grid components: the gcm proposal and self-optimising assist components, Joint workshop on HPC grid programming environments and components and component and framework technology in high-performance and scientific computing at HPDC, vol.15, 2006.

F. Baude, L. Henrio, and C. Ruz, Programming distributed and adaptable autonomous components-the gcm/proactive framework, Software: Practice and Experience, vol.45, issue.9, pp.1189-1227, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01001043

S. Bouchenak, N. D. Palma, D. Hagimont, and C. Taton, Autonomic management of clustered applications, 2006 IEEE Intl Conference on Cluster Computing, pp.1-11, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00684406

L. Broto, D. Hagimont, P. Stolf, N. Depalma, and S. Temate, Autonomic management policy specification in tune, Proceedings of the 2008 ACM Symposium on Applied Computing, ser. SAC '08, pp.1658-1663, 2008.

A. Flissi, J. Dubus, N. Dolet, and P. Merle, Deploying on the Grid with Deployware, The Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID), pp.177-184, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00259836

R. D. Cosmo, A. Eiche, and J. Mauro, Automatic deployment of services in the Cloud with Aeolus Blender, 13th Intl Conf. on Service-Oriented Computing, vol.9435, pp.397-411, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233489

R. D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: a component model for the Cloud, pp.100-121, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062

M. Chardet, H. Coullon, D. Pertin, and C. Pérez, Madeus: A formal deployment model, 4PAD 2018 -5th Intl Symp. on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), pp.1-8, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01858150

F. Boyer, X. Etchevers, N. Palma, and X. Tao, Poster: A declarative approach for updating distributed microservices, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), pp.392-393, 2018.

M. G. Valls, I. R. Lopez, and L. F. Villar, iland: An enhanced middleware for real-time reconfiguration of service oriented distributed real-time systems, IEEE Transactions on Industrial Informatics, vol.9, issue.1, pp.228-236, 2013.

F. Maraninchi and Y. Rémond, Mode-automata: About modes and states for reactive systems, Programming Languages and Systems, C. Hankin, pp.185-199, 1998.

H. Coullon, C. Jard, and D. Lime, Integrated model-checking for the design of safe and efficient distributed software commissioning, pp.120-137, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02323641