On the modeling of optimal and automatized cloud application deployment

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

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 107; pp. 108 - 135
Main Authors de Gouw, Stijn, Mauro, Jacopo, Zavattaro, Gianluigi
Format Journal Article
LanguageEnglish
Published Elsevier 01.10.2019
Subjects
Computer Science
declarative specification of deployment rules
Software system modeling
automatic cloud application deployment
Online AccessGet full text
ISSN2352-2208
DOI10.1016/j.jlamp.2019.06.001

Cover

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.
AbstractList 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 de Gouw, Stijn
Zavattaro, Gianluigi
Mauro, Jacopo
Author_xml – sequence: 1
  givenname: Stijn
  orcidid: 0000-0003-2964-6844
  surname: de Gouw
  fullname: de Gouw, Stijn
– sequence: 2
  givenname: Jacopo
  surname: Mauro
  fullname: Mauro, Jacopo
– sequence: 3
  givenname: Gianluigi
  surname: Zavattaro
  fullname: Zavattaro, Gianluigi
BackLink https://inria.hal.science/hal-02401380$$DView record in HAL
BookMark eNp9kLFOwzAQhj0UiVL6BCxeGRLOduI4Y1VBi1SpC8yW7Tg0kRNHiYtUnh63hYWB6aRP_393-u7QrPe9ReiBQEqA8Kc2bZ3qhpQCKVPgKQCZoTllOU0oBXGLltPUQqRcFIKROdrsexwOFne-sq7pP7CvsR9C0ymHVV9hdQy-U6H5shU2zh8jGQbXmIh8jys7OH_qbB_u0U2t3GSXP3OB3l-e39bbZLffvK5Xu8QwKkKiOS0LXmUMMqtzoZkomC0qbkhhGIHSKlaANpRYk9Wm0Hmtci0yXmagK8Y1W6DH696DcnIY45_jSXrVyO1qJ88MaAaECfgkMVtes2b00zTaWpomXB4Po2qcJCDP0mQrL9LkWZoELqOe2GV_ur_H_mt9A3QpdkE
CitedBy_id crossref_primary_10_3390_app12094183
crossref_primary_10_1109_TCC_2022_3161684
Cites_doi 10.1145/1496909.1496915
10.1007/s10009-014-0301-x
10.1016/j.scico.2015.07.006
10.1002/spe.2400
10.1145/2792980
10.1016/j.ic.2014.11.002
10.1016/j.future.2012.01.007
10.1016/j.jcss.2013.06.005
ContentType Journal Article
Copyright Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml – notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID AAYXX
CITATION
1XC
VOOES
DOI 10.1016/j.jlamp.2019.06.001
DatabaseName CrossRef
Hyper Article en Ligne (HAL)
Hyper Article en Ligne (HAL) (Open Access)
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 135
ExternalDocumentID oai_HAL_hal_02401380v1
10_1016_j_jlamp_2019_06_001
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AFXIZ
AGCQF
AGHFR
AGRNS
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
BNPGV
CITATION
EBS
EFJIC
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSH
SSV
SSZ
T5K
~G-
1XC
EFKBS
VOOES
ID FETCH-LOGICAL-c328t-b62976d4304eb58b3873e7d6c17c3109ea370bc21ec4fc7b5fa5b846940bd36b3
ISSN 2352-2208
IngestDate Wed Aug 27 07:28:11 EDT 2025
Thu Apr 24 22:58:35 EDT 2025
Tue Jul 01 00:37:50 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Keywords declarative specification of deployment rules
Software system modeling
automatic cloud application deployment
Language English
License Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c328t-b62976d4304eb58b3873e7d6c17c3109ea370bc21ec4fc7b5fa5b846940bd36b3
ORCID 0000-0003-2964-6844
OpenAccessLink https://inria.hal.science/hal-02401380
PageCount 28
ParticipantIDs hal_primary_oai_HAL_hal_02401380v1
crossref_citationtrail_10_1016_j_jlamp_2019_06_001
crossref_primary_10_1016_j_jlamp_2019_06_001
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2019-10-00
2019-10
PublicationDateYYYYMMDD 2019-10-01
PublicationDate_xml – month: 10
  year: 2019
  text: 2019-10-00
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2019
Publisher Elsevier
Publisher_xml – name: Elsevier
References Qu (10.1016/j.jlamp.2019.06.001_br0090) 2018; 51
Aleti (10.1016/j.jlamp.2019.06.001_br0400) 2014; vol. 227
10.1016/j.jlamp.2019.06.001_br0510
Bezirgiannis (10.1016/j.jlamp.2019.06.001_br0580) 2017; vol. 10465
Dutta (10.1016/j.jlamp.2019.06.001_br0110) 2012
10.1016/j.jlamp.2019.06.001_br0310
Hewson (10.1016/j.jlamp.2019.06.001_br0070) 2012
Giachino (10.1016/j.jlamp.2019.06.001_br0050)
de Gouw (10.1016/j.jlamp.2019.06.001_br0150) 2016; vol. 9846
Thai (10.1016/j.jlamp.2019.06.001_br0380) 2014
Albert (10.1016/j.jlamp.2019.06.001_br0060) 2014
Lascu (10.1016/j.jlamp.2019.06.001_br0280) 2015; 113
Etchevers (10.1016/j.jlamp.2019.06.001_br0300) 2017; 47
Gan (10.1016/j.jlamp.2019.06.001_br0130) 2019
Brogi (10.1016/j.jlamp.2019.06.001_br0290) 2016; vol. 9846
Fischer (10.1016/j.jlamp.2019.06.001_br0350) 2012
Bass (10.1016/j.jlamp.2019.06.001_br0010) 2015
Ábrahám (10.1016/j.jlamp.2019.06.001_br0540) 2016; vol. 9984
Guthmann (10.1016/j.jlamp.2019.06.001_br0590) 2016
Cosmo (10.1016/j.jlamp.2019.06.001_br0080) 2014
Salaün (10.1016/j.jlamp.2019.06.001_br0420) 2013; vol. 7740
de Gouw (10.1016/j.jlamp.2019.06.001_br0140) 2015
de Boer (10.1016/j.jlamp.2019.06.001_br0560) 2013
Caballer (10.1016/j.jlamp.2019.06.001_br0480) 2013; 79
Lucas-Simarro (10.1016/j.jlamp.2019.06.001_br0370) 2013; 29
Wong (10.1016/j.jlamp.2019.06.001_br0570) 2015; 17
Hightower (10.1016/j.jlamp.2019.06.001_br0100) 2017
Bergmayr (10.1016/j.jlamp.2019.06.001_br0240) 2018; 51
Etchevers (10.1016/j.jlamp.2019.06.001_br0410) 2011
Gandhi (10.1016/j.jlamp.2019.06.001_br0120) 2014
Cosmo (10.1016/j.jlamp.2019.06.001_br0550) 2015
Li (10.1016/j.jlamp.2019.06.001_br0360) 2011
Kanies (10.1016/j.jlamp.2019.06.001_br0320) 2006; 31
Din (10.1016/j.jlamp.2019.06.001_br0040) 2015
Li (10.1016/j.jlamp.2019.06.001_br0390) 2013
Zabolotnyi (10.1016/j.jlamp.2019.06.001_br0450) 2015; 15
Goldsack (10.1016/j.jlamp.2019.06.001_br0500) 2009; 43
Cosmo (10.1016/j.jlamp.2019.06.001_br0270) 2014; 239
References_xml – year: 2012
  ident: 10.1016/j.jlamp.2019.06.001_br0350
  article-title: Engage: a deployment management system
– start-page: 259
  year: 2013
  ident: 10.1016/j.jlamp.2019.06.001_br0560
  article-title: Run-time verification of coboxes
– volume: vol. 10465
  start-page: 143
  year: 2017
  ident: 10.1016/j.jlamp.2019.06.001_br0580
  article-title: Human-in-the-loop simulation of cloud services
– volume: vol. 9846
  start-page: 118
  year: 2016
  ident: 10.1016/j.jlamp.2019.06.001_br0150
  article-title: Declarative elasticity in ABS
– start-page: 811
  year: 2014
  ident: 10.1016/j.jlamp.2019.06.001_br0380
  article-title: Optimal deployment of geographically distributed workflow engines on the cloud
– ident: 10.1016/j.jlamp.2019.06.001_br0510
– volume: 43
  start-page: 16
  issue: 1
  year: 2009
  ident: 10.1016/j.jlamp.2019.06.001_br0500
  article-title: The SmartFrog configuration management framework
  publication-title: Oper. Syst. Rev.
  doi: 10.1145/1496909.1496915
– volume: 17
  start-page: 107
  issue: 1
  year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0570
  article-title: Testing abstract behavioral specifications
  publication-title: Int. J. Softw. Tools Technol. Transf.
  doi: 10.1007/s10009-014-0301-x
– start-page: 187
  year: 2013
  ident: 10.1016/j.jlamp.2019.06.001_br0390
  article-title: Cost-optimal cloud service placement under dynamic pricing schemes
– ident: 10.1016/j.jlamp.2019.06.001_br0310
– volume: 31
  issue: 1
  year: 2006
  ident: 10.1016/j.jlamp.2019.06.001_br0320
  article-title: Puppet: next-generation configuration management
  publication-title: ;Login:
– start-page: 668
  year: 2011
  ident: 10.1016/j.jlamp.2019.06.001_br0410
  article-title: Self-configuration of distributed applications in the cloud
– volume: 113
  start-page: 261
  year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0280
  article-title: Automatic deployment of component-based applications
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2015.07.006
– volume: 47
  start-page: 3
  issue: 1
  year: 2017
  ident: 10.1016/j.jlamp.2019.06.001_br0300
  article-title: Reliable self-deployment of distributed cloud applications
  publication-title: Softw. Pract. Exp.
  doi: 10.1002/spe.2400
– ident: 10.1016/j.jlamp.2019.06.001_br0050
– start-page: 3
  year: 2019
  ident: 10.1016/j.jlamp.2019.06.001_br0130
  article-title: An open-source benchmark suite for microservices and their hardware-software implications for cloud & edge systems
– volume: 51
  start-page: 22:1
  issue: 1
  year: 2018
  ident: 10.1016/j.jlamp.2019.06.001_br0240
  article-title: A systematic review of cloud modeling languages
  publication-title: ACM Comput. Surv.
– year: 2012
  ident: 10.1016/j.jlamp.2019.06.001_br0070
  article-title: A declarative approach to automated configuration
– year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0550
  article-title: Automatic application deployment in the cloud: from practice to theory and back
– volume: vol. 9846
  start-page: 219
  year: 2016
  ident: 10.1016/j.jlamp.2019.06.001_br0290
  article-title: Fault-aware application management protocols
– year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0040
  article-title: Key-abs: a deductive verification tool for the concurrent modelling language ABS
– volume: 51
  start-page: 73:1
  issue: 4
  year: 2018
  ident: 10.1016/j.jlamp.2019.06.001_br0090
  article-title: Auto-scaling web applications in clouds: a taxonomy and survey
  publication-title: ACM Comput. Surv.
– volume: vol. 7740
  start-page: 60
  year: 2013
  ident: 10.1016/j.jlamp.2019.06.001_br0420
  article-title: Verification of a self-configuration protocol for distributed applications in the cloud
– volume: 15
  start-page: 10
  issue: 3
  year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0450
  article-title: JCloudScale: closing the gap between IaaS and PaaS
  publication-title: ACM Trans. Internet Technol.
  doi: 10.1145/2792980
– start-page: 310
  year: 2014
  ident: 10.1016/j.jlamp.2019.06.001_br0120
  article-title: Modeling the impact of workload on cloud resource scaling
– year: 2014
  ident: 10.1016/j.jlamp.2019.06.001_br0060
  article-title: SACO: Static Analyzer for Concurrent Objects
– volume: vol. 9984
  start-page: 229
  year: 2016
  ident: 10.1016/j.jlamp.2019.06.001_br0540
  article-title: Zephyrus2: on the fly deployment optimization using SMT and CP technologies
– start-page: 57
  year: 2016
  ident: 10.1016/j.jlamp.2019.06.001_br0590
  article-title: Minimal unsatisfiable core extraction for SMT
– start-page: 1
  year: 2011
  ident: 10.1016/j.jlamp.2019.06.001_br0360
  article-title: Cloudopt: multi-goal optimization of application deployments across a cloud
– year: 2017
  ident: 10.1016/j.jlamp.2019.06.001_br0100
– volume: 239
  start-page: 100
  year: 2014
  ident: 10.1016/j.jlamp.2019.06.001_br0270
  article-title: Aeolus: a component model for the cloud
  publication-title: Inf. Comput.
  doi: 10.1016/j.ic.2014.11.002
– year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0010
– volume: 29
  start-page: 1431
  issue: 6
  year: 2013
  ident: 10.1016/j.jlamp.2019.06.001_br0370
  article-title: Scheduling strategies for optimal service deployment across multiple clouds
  publication-title: Future Gener. Comput. Syst.
  doi: 10.1016/j.future.2012.01.007
– year: 2015
  ident: 10.1016/j.jlamp.2019.06.001_br0140
  article-title: On the integration of automatic deployment into the ABS modeling language
– year: 2014
  ident: 10.1016/j.jlamp.2019.06.001_br0080
  article-title: Automated synthesis and deployment of cloud applications
– volume: 79
  start-page: 1341
  issue: 8
  year: 2013
  ident: 10.1016/j.jlamp.2019.06.001_br0480
  article-title: EC3: elastic cloud computing cluster
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/j.jcss.2013.06.005
– start-page: 221
  year: 2012
  ident: 10.1016/j.jlamp.2019.06.001_br0110
  article-title: SmartScale: automatic application scaling in enterprise clouds
– volume: vol. 227
  start-page: 77
  year: 2014
  ident: 10.1016/j.jlamp.2019.06.001_br0400
  article-title: Software architecture optimization methods: a systematic literature review
SSID ssj0001687831
Score 2.161325
Snippet 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...
SourceID hal
crossref
SourceType Open Access Repository
Enrichment Source
Index Database
StartPage 108
SubjectTerms Computer Science
Title On the modeling of optimal and automatized cloud application deployment
URI https://inria.hal.science/hal-02401380
Volume 107
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9NAEF7R9MKFN6JQ0ApxA0feh1_HCEFCgfbSSr1Zu-t1SeTGVWVXor--sw-vU4IqysWK1s4q8XyeGc98M4PQB6qzmPO6jsAay4iLQkWS1SLKZVIl4N7XlbRsi8N0ccIPTpPTMYNvq0s6OVXXf60r-R-pwhrI1VTJ3kOyYVNYgM8gXziChOH4TzI-chxFO83Gs5dbUAHnvv5f9F1rHNJrcCpV0_bVx410teHANu3vQHzZdlAHrWi3as5Mhnmp_Mhpxz533K7zwfo5Puy87V26qFuuAvJ-Cl9QcwAa-KIN4WpxJbpOuFNzQGrTL8-Wm5EIUgROm1dYFJy5iNI4v6Vd3VBbrx-JP-lMLXGdSra0uAsorKYreChMT1FSTF3OaDRaQ6L-D1sWGIYDeW1V2k1Ks0npKHw7aJfCOwWdoN3Zt--LwzEkl-ZZbidYhn8y9KmyjMCtn3PLl9n5NYTirWty_AQ98iLDMweQp-iBXj9Dj4d5Hdir7-dofrTGgBc84AW3NfZ4wSBkvIEXbPGCN_CCR7y8QCdfvxx_XkR-kEakGM27SKYUvM6Ks5hrmeSS5RnTWZUqkinTGVYLlsVSUaIVr1Umk1okEhzTgseyYqlkL9Fk3a71K4Q1NZPOZJ0oDq_i3GRx4anOiooTkupE7SE63JJS-S7zZthJU94hkT30KXzpwjVZufvy93Cvw5WmQfpi9qM0a6ZjH2F5fEVe32_PN-jhCOl9NOkue_0W3M1OvvMwuQFkdoH-
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+the+modeling+of+optimal+and+automatized+cloud+application+deployment&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=de+Gouw%2C+Stijn&rft.au=Mauro%2C+Jacopo&rft.au=Zavattaro%2C+Gianluigi&rft.date=2019-10-01&rft.issn=2352-2208&rft.volume=107&rft.spage=108&rft.epage=135&rft_id=info:doi/10.1016%2Fj.jlamp.2019.06.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2019_06_001
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon