Zephyrus2: on the fly deployment optimization using SMT and CP technologies, SETTA 2016, vol.9984, pp.229-245, 2016. ,
, Amazon: Amazon CloudWatch, 2019.
, Amazon: AWS auto scaling, 2019.
, , 2019.
A systematic review of cloud modeling languages, ACM Comput. Surv, vol.51, issue.1, p.38, 2018. ,
Robust reconfigurations of component assemblies, ICSE, pp.13-22, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00966078
Code repository for the email processing example, 2019. ,
Optimal and automated deployment for microservices, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02387483
Replicating web services for scalability, TGC 2007, vol.4912, pp.204-221, 2008. ,
Modelling and analysing cloud application management, ESOCC 2015, vol.9306, pp.19-33, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01757559
Madeus: a formal deployment model, pp.724-731, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01858150
, Chuffed Team: The CP solver, 2019.
Automatic application deployment in the cloud: from practice to theory and back, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.42, pp.1-16, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233426
Aeolus: a component model for the cloud, Inf. Comput, vol.239, pp.100-121, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091062
Towards a formal component model for the cloud, SEFM 2012, vol.7504, pp.156-171, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00909369
, Docker: Docker compose documentation, 2019.
, Docker: Docker swarm, 2019.
Microservices: yesterday, today, and tomorrow, Present and Ulterior Software Engineering, pp.195-216, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01631455
Robust and reliable reconfiguration of cloud applications, J. Syst. Softw, vol.122, pp.524-537, 2016. ,
Efficient large-scale configuration via integer linear programming, AI EDAM, vol.27, issue.1, pp.37-49, 2013. ,
Engage: a deployment management system, 2012. ,
Thinking Serverless! How New Approaches Address Modern Data Processing Needs, 2019. ,
, GECODE: an open, free, efficient constraint solving toolkit, 2019.
, Google: Optimization tools, 2019.
Declarative elasticity in ABS, ESOCC 2016, vol.9846, pp.118-134, 2016. ,
, Serverless computing: one step forward, two steps back, 2018.
A declarative approach to automated configuration, 2012. ,
Kubernetes: Up and Running Dive into the Future of Infrastructure, 1st edn, 2017. ,
, Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation, 2010.
ABS: a core language for abstract behavioral specification, FMCO 2010, vol.6957, pp.142-164, 2011. ,
Puppet: next-generation configuration management. ;login: USENIX Mag, vol.31, pp.19-25, 2006. ,
, , 2019.
On the complexity of reconfiguration in systems with legacy components, MFCS 2015, vol.9234, pp.382-393, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233482
Outages? Downtime?, 2019. ,
Docker: lightweight Linux containers for consistent development and deployment, Linux J, vol.2014, issue.239, 2014. ,
, , 2019.
, Puppet Labs: Marionette collective, 2019.
On infrastructure at scale: a cascading failure of distributed systems, 2019. ,