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


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
Number of pages17
ISBN (Electronic)978-3-319-44482-6
ISBN (Print)978-3-319-44481-9
Publication statusPublished - 2016
Externally publishedYes
Event5th European Conference on Service-Oriented and Cloud Computing - Vienna, Austria
Duration: 5 Sep 20167 Sep 2016

Publication series

SeriesLecture Notes in Computer Science


Conference5th European Conference on Service-Oriented and Cloud Computing
Abbreviated titleESOCC 2016
Internet address


Dive into the research topics of 'Declarative Elasticity in ABS'. Together they form a unique fingerprint.

Cite this