On the modeling of optimal and automatized cloud application deployment

Stijn de Gouw, Jacopo Mauro*, Gianluigi Zavattaro

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Web of Science)


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.
Original languageEnglish
Pages (from-to)108-135
Number of pages28
JournalJournal of Logical and Algebraic Methods in Programming
Publication statusPublished - Oct 2019


  • Automatic cloud application deployment
  • Declarative specification of deployment rules
  • Software system modeling


Dive into the research topics of 'On the modeling of optimal and automatized cloud application deployment'. Together they form a unique fingerprint.

Cite this