A verification and deployment approach for elastic component-based applications

@article{Graiet2017AVA,
  title={A verification and deployment approach for elastic component-based applications},
  author={Mohamed Graiet and Lazhar Hamel and Amel Mammar and Samir Tata},
  journal={Formal Aspects of Computing},
  year={2017},
  volume={29},
  pages={987-1011}
}
Cloud environments are being increasingly used for the deployment and execution of complex applications and particularly component-based ones. They are expected to provide elasticity, among other characteristics, in order to allow a deployed application to rapidly change the amount of its allocated resources in order to meet the variation in demand while… CONTINUE READING