L. Bass, I. Weber, and L. Zhu, DevOps: A Software Architect's Perspective, 2015.

D. Modaclouds and . Projects,

C. C. Din, R. Bubel, and R. Hähnle, Key-abs: A deductive verification tool for the concurrent modelling language ABS, 2015.

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core ABS
URL : https://hal.archives-ouvertes.fr/hal-01229046

E. Albert, P. Arenas, A. Flores-montoya, S. Genaim, M. Gómez-zamalloa et al., , 2014.

J. A. Hewson, P. Anderson, and A. D. Gordon, A Declarative Approach to 1560 Automated Configuration, 2012.

R. D. Cosmo, M. Lienhardt, R. Treinen, S. Zacchiroli, J. Zwolakowski et al., Automated synthesis and deployment of cloud applications, 2014.

C. Qu, R. N. Calheiros, and R. Buyya, Auto-scaling web applications in clouds: 1565 A taxonomy and survey, ACM Comput. Surv, vol.51, issue.4, 2018.

K. Hightower, B. Burns, and J. Beda, Kubernetes: Up and Running Dive into the Future of Infrastructure, p.1570, 2017.

S. Dutta, S. Gera, A. Verma, and B. Viswanathan, Smartscale: Automatic application scaling in enterprise clouds, 2012 IEEE Fifth International Conference on Cloud Computing, pp.221-228, 2012.

A. Gandhi, P. Dube, A. Karve, A. Kochut, and L. Zhang, Modeling the impact of workload on cloud resource scaling, 26th IEEE International Symposium on Computer Architecture and High Performance Computing, pp.310-317, 2014.

Y. Gan, Y. Zhang, D. Cheng, A. Shetty, P. Rathi et al., , p.63

Z. Liu, J. Padilla, and C. Delimitrou, An open-source benchmark suite for mi-1585 croservices and their hardware-software implications for cloud & edge systems, pp.3-18, 2019.

S. De-gouw, M. Lienhardt, J. Mauro, B. Nobakht, and G. Zavattaro, On the Integration of Automatic Deployment into the ABS Modeling Language, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01170926

S. De-gouw, J. Mauro, B. Nobakht, and G. Zavattaro, Declarative elasticity in ABS, LNCS, vol.9846, pp.118-134, 2016.

M. Azure,

. Devops,

, Topology and Orchestration Specification for Cloud Applications (TOSCA) Version

, Organization for the Advancement of Structured Information Standards (OASIS, OASIS

, Business Process Model and Notation (BPMN)

, Juju, devops distilled

A. Bergmayr, U. Breitenbücher, N. Ferry, A. Rossini, A. Solberg et al., A systematic review of cloud modeling languages, ACM Comput. Surv, vol.51, issue.1), 2018.

, MARTE profile

R. D. Cosmo, J. Mauro, S. Zacchiroli, and G. Zavattaro, Aeolus: A component model for the cloud, Inf. Comput, vol.239, pp.100-121, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091062

T. A. Lascu, J. Mauro, and G. Zavattaro, Automatic deployment of componentbased applications, Sci. Comput. Program, vol.113, pp.261-284, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233485

A. Brogi, A. Canciani, and J. Soldani, Fault-Aware Application Management Protocols, LNCS, vol.9846, pp.219-234, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01638591

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and N. D. Palma, Reliable selfdeployment of distributed cloud applications, Softw., Pract. Exper, vol.47, issue.1, pp.3-20, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01290465

M. Burgess, A Site Configuration Engine, Computing Systems

L. Kanies, Puppet: Next-generation configuration management, ;login: the USENIX magazine (1)

, Marionette collective

C. Opscode,

J. Fischer, R. Majumdar, and S. Esmaeilsabzali, Engage: a deployment management system, 2012.

J. Z. Li, C. M. Woodside, J. W. Chinneck, and M. Litoiu, Cloudopt: Multi-goal 1630 optimization of application deployments across a cloud, pp.1-9, 2011.

J. L. Lucas-simarro, R. Moreno-vozmediano, R. S. Montero, and I. M. Llorente, Scheduling strategies for optimal service deployment across multiple clouds, Future Generation Comp. Syst, vol.29, issue.6, pp.1431-1441, 2013.

L. Thai, A. Barker, B. Varghese, O. Akgun, and I. Miguel, Optimal deployment of geographically distributed workflow engines on the cloud, pp.811-816, 2014.

W. Li, P. Svärd, J. Tordsson, and E. Elmroth, Cost-optimal cloud service placement under dynamic pricing schemes, IEEE/ACM UCC, pp.187-194, 2013.

A. Aleti, B. Buhnova, L. Grunske, A. Koziolek, and I. Meedeniya, Software architecture optimization methods: A systematic literature review, Software Engineering, vol.227, pp.77-78, 2014.

X. Etchevers, T. Coupaye, F. Boyer, and N. D. Palma, , p.1645

G. Salaün, X. Etchevers, N. D. Palma, F. Boyer, and T. Coupaye, Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Assurances for Self-Adaptive Systems, vol.7740, pp.60-79, 1650.

, Open Virtualization Format Specification Version, DMTF (Distributed Management Task Force)

T. Hashicorp,

R. Zabolotnyi, P. Leitner, W. Hummer, and S. Dustdar, JCloudScale: Closing the Gap Between IaaS and PaaS, ACM Trans. Internet Techn, vol.15, issue.3, p.10, 2015.

, Apache Software Foundation

, OASIS, Cloud Application Management for Platforms

M. Caballer, C. Alfonso, F. Alvarruiz, and G. Moltó, EC3: elastic cloud computing cluster, J. Comput. Syst. Sci, vol.79, issue.8, pp.1341-1351, 2013.

, Kubernetes Authors, Kubernetes

P. Goldsack, J. Guijarro, S. Loughran, A. N. Coles, A. Farrell et al., The SmartFrog configuration management framework, Operating Systems Review, issue.1

J. Mirkovic, T. Faber, P. Hsieh, G. Malaiyandisamy, and R. Malaviya, DADL: Distributed Application Description Language

E. Ábrahám, F. Corzilius, E. B. Johnsen, G. Kremer, and J. Mauro, Zephyrus2: 1675 On the Fly Deployment Optimization Using SMT and CP Technologies, vol.9984, pp.229-245, 2016.

R. D. Cosmo, M. Lienhardt, J. Mauro, S. Zacchiroli, G. Zavattaro et al., Automatic Application Deployment in the Cloud: from Practice to Theory and Back, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01233426

F. S. De-boer, S. De-gouw, and P. Y. Wong, Run-time verification of coboxes, in: Software Engineering and Formal Methods -11th International Conference, SEFM 2013, pp.259-273, 2013.

P. Y. Wong, R. Bubel, F. S. De-boer, M. Gómez-zamalloa, S. De-gouw et al., Testing abstract behavioral specifications, STTT, vol.17, issue.1, pp.107-119, 2015.

N. Bezirgiannis, F. S. De-boer, and S. De-gouw, Human-in-the-loop simulation 1690 of cloud services, Lecture Notes in Computer Science, vol.10465, pp.143-158, 2017.

O. Guthmann, O. Strichman, and A. Trostanetski, Minimal unsatisfiable core extraction for SMT, pp.57-64, 2016.