Skip to Main content Skip to Navigation
Conference papers

Declarative Elasticity in ABS

Stijn Gouw 1 Jacopo Mauro 2 Behrooz Nobakht 3 Gianluigi Zavattaro 4
4 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Monday, November 20, 2017 - 11:01:05 AM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Wednesday, February 21, 2018 - 12:52:46 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Stijn Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. Declarative Elasticity in ABS. 5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.118-134, ⟨10.1007/978-3-319-44482-6_8⟩. ⟨hal-01638585⟩



Record views


Files downloads