RT Conference Proceedings
T1 Reliable deployment, reconfiguration, and control of cloud applications
A1 Salaün, Gwen
K1 Ingeniería del software
AB Cloud applications consist of a set of interconnected software components distributed over several virtual machines. Setting up, (re)configuring, and monitoring these applications are difficult tasks, and involve complex management protocols. In this talk, I will first present two protocols for deploying and dynamically reconfiguring cloud applications, respectively. I will also present synthesis techniques for generating controllers in charge of coordinating autonomic managers and cloud applications. These approaches have been devised with the support of formal techniques and tools.
YR 2015
FD 2015-02-18
LK http://hdl.handle.net/10630/8899
UL http://hdl.handle.net/10630/8899
LA spa
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 4 mar 2026