Skip to Main content Skip to Navigation
Journal articles

On the modeling of optimal and automatized cloud application deployment

Abstract : We investigate the problem of modeling the optimal and automatic deployment of cloud applications. We follow an approach based on three main pillars: (i) the specification of the computing resources needed by software components and those provided by the executing environment (e.g. virtual machines or containers), (ii) the declarative description of deployment rules, (iii) and the computation of an optimal deployment that minimizes the total cost by using constraint solving techniques. We experiment with such an approach by applying it to the Abstract Behavioural Specification language ABS, and we validate it by modeling and simulating with ABS (and its tool-suite) the Fredhopper Cloud Services, a worldwide system offering e-Commerce services, currently deployed on Amazon EC2.
Document type :
Journal articles
Complete list of metadata

Cited literature [54 references]  Display  Hide  Download
Contributor : Zavattaro Gianluigi <>
Submitted on : Tuesday, December 10, 2019 - 11:47:52 AM
Last modification on : Friday, October 30, 2020 - 12:04:04 PM
Long-term archiving on: : Wednesday, March 11, 2020 - 4:41:04 PM


Files produced by the author(s)




Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro. On the modeling of optimal and automatized cloud application deployment. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 107, pp.108-135. ⟨10.1016/j.jlamp.2019.06.001⟩. ⟨hal-02401380⟩



Record views


Files downloads