Declarative Elasticity in ABS

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment issues should be taken into account already at the early stages of development. This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be added as a first-class citizen in the object-oriented modeling language ABS. We follow a declarative approach: programmers specify deployment constraints and a solver synthesizes ABS classes exposing methods like deploy (resp. undeploy) that executes (resp. cancels) configuration actions changing the current deployment towards a new one satisfying the programmer’s desiderata. Differently from previous works, this novel approach allows for the specification of incremental modifications, thus supporting the declarative modeling of elastic applications.
Original languageEnglish
Title of host publicationService-Oriented and Cloud Computing
Subtitle of host publication5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
EditorsMarco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski
PublisherSpringer
Chapter8
Pages118-134
Number of pages17
ISBN (Electronic)978-3-319-44482-6
ISBN (Print)978-3-319-44481-9
DOIs
Publication statusPublished - 2016
Externally publishedYes
Event5th European Conference on Service-Oriented and Cloud Computing - Vienna, Austria
Duration: 5 Sep 20167 Sep 2016
http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=55199&copyownerid=86190

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th European Conference on Service-Oriented and Cloud Computing
Abbreviated titleESOCC 2016
CountryAustria
CityVienna
Period5/09/167/09/16
Internet address

Fingerprint

Elasticity
Specification languages
Software design
Specifications
Modeling languages

Cite this

Gouw, S. D., Mauro, J., Nobakht, B., & Zavattaro, G. (2016). Declarative Elasticity in ABS. In M. Aiello, E. Broch Johnsen, S. Dustdar, & I. Georgievski (Eds.), Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings (pp. 118-134). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-319-44482-6_8
Gouw, Stijn de ; Mauro, Jacopo ; Nobakht, Behrooz ; Zavattaro, Gianluigi. / Declarative Elasticity in ABS. Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. editor / Marco Aiello ; Einar Broch Johnsen ; Schahram Dustdar ; Ilche Georgievski. Springer, 2016. pp. 118-134 (Lecture Notes in Computer Science).
@inproceedings{a8db671dac2b429d8d5281375996d125,
title = "Declarative Elasticity in ABS",
abstract = "Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment issues should be taken into account already at the early stages of development. This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be added as a first-class citizen in the object-oriented modeling language ABS. We follow a declarative approach: programmers specify deployment constraints and a solver synthesizes ABS classes exposing methods like deploy (resp. undeploy) that executes (resp. cancels) configuration actions changing the current deployment towards a new one satisfying the programmer’s desiderata. Differently from previous works, this novel approach allows for the specification of incremental modifications, thus supporting the declarative modeling of elastic applications.",
author = "Gouw, {Stijn de} and Jacopo Mauro and Behrooz Nobakht and Gianluigi Zavattaro",
year = "2016",
doi = "10.1007/978-3-319-44482-6_8",
language = "English",
isbn = "978-3-319-44481-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "118--134",
editor = "Marco Aiello and {Broch Johnsen}, Einar and Schahram Dustdar and Ilche Georgievski",
booktitle = "Service-Oriented and Cloud Computing",

}

Gouw, SD, Mauro, J, Nobakht, B & Zavattaro, G 2016, Declarative Elasticity in ABS. in M Aiello, E Broch Johnsen, S Dustdar & I Georgievski (eds), Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Lecture Notes in Computer Science, Springer, pp. 118-134, 5th European Conference on Service-Oriented and Cloud Computing, Vienna, Austria, 5/09/16. https://doi.org/10.1007/978-3-319-44482-6_8

Declarative Elasticity in ABS. / Gouw, Stijn de; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi.

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. ed. / Marco Aiello; Einar Broch Johnsen; Schahram Dustdar; Ilche Georgievski. Springer, 2016. p. 118-134 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - Declarative Elasticity in ABS

AU - Gouw, Stijn de

AU - Mauro, Jacopo

AU - Nobakht, Behrooz

AU - Zavattaro, Gianluigi

PY - 2016

Y1 - 2016

N2 - Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment issues should be taken into account already at the early stages of development. This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be added as a first-class citizen in the object-oriented modeling language ABS. We follow a declarative approach: programmers specify deployment constraints and a solver synthesizes ABS classes exposing methods like deploy (resp. undeploy) that executes (resp. cancels) configuration actions changing the current deployment towards a new one satisfying the programmer’s desiderata. Differently from previous works, this novel approach allows for the specification of incremental modifications, thus supporting the declarative modeling of elastic applications.

AB - Traditional development methodologies that separate software design from application deployment have been replaced by approaches such as continuous delivery or DevOps, according to which deployment issues should be taken into account already at the early stages of development. This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be added as a first-class citizen in the object-oriented modeling language ABS. We follow a declarative approach: programmers specify deployment constraints and a solver synthesizes ABS classes exposing methods like deploy (resp. undeploy) that executes (resp. cancels) configuration actions changing the current deployment towards a new one satisfying the programmer’s desiderata. Differently from previous works, this novel approach allows for the specification of incremental modifications, thus supporting the declarative modeling of elastic applications.

U2 - 10.1007/978-3-319-44482-6_8

DO - 10.1007/978-3-319-44482-6_8

M3 - Conference article in proceeding

SN - 978-3-319-44481-9

T3 - Lecture Notes in Computer Science

SP - 118

EP - 134

BT - Service-Oriented and Cloud Computing

A2 - Aiello, Marco

A2 - Broch Johnsen, Einar

A2 - Dustdar, Schahram

A2 - Georgievski, Ilche

PB - Springer

ER -

Gouw SD, Mauro J, Nobakht B, Zavattaro G. Declarative Elasticity in ABS. In Aiello M, Broch Johnsen E, Dustdar S, Georgievski I, editors, Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Springer. 2016. p. 118-134. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-44482-6_8