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

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

Fingerprint

Specification languages
Containers
Specifications
Modeling
Costs
Constraint Solving
Experiments
Specification Languages
Software Components
Virtual Machine
Electronic Commerce
Container
Specification
Minimise
Resources
Computing
Experiment
Virtual machine

Cite this

@article{a43ad16c93b94a8f8b9821e37110f9c9,
title = "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.",
author = "Gouw, {Stijn de} and Jacopo Mauro and Gianluigi Zavattaro",
year = "2019",
month = "10",
doi = "10.1016/j.jlamp.2019.06.001",
language = "English",
volume = "107",
pages = "108--135",
journal = "Journal of Logical and Algebraic Methods in Programming",
issn = "2352-2208",
publisher = "Elsevier Science Inc.",

}

On the modeling of optimal and automatized cloud application deployment. / Gouw, Stijn de; Mauro, Jacopo; Zavattaro, Gianluigi.

In: Journal of Logical and Algebraic Methods in Programming, Vol. 107, 10.2019, p. 108-135.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - On the modeling of optimal and automatized cloud application deployment

AU - Gouw, Stijn de

AU - Mauro, Jacopo

AU - Zavattaro, Gianluigi

PY - 2019/10

Y1 - 2019/10

N2 - 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.

AB - 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.

U2 - 10.1016/j.jlamp.2019.06.001

DO - 10.1016/j.jlamp.2019.06.001

M3 - Article

VL - 107

SP - 108

EP - 135

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

SN - 2352-2208

ER -