Skip to Main content Skip to Navigation

On the Integration of Automatic Deployment into the ABS Modeling Language

Abstract : In modern software systems, deployment is an integral and critical part of application development (see, e.g., the DevOps approach to software development). Nevertheless, deployment is usually overlooked at the modeling level, thus losing the possibility to perform deployment conscious decisions during the early stages of development. In this paper, we address the problem of promoting deployment as an integral part of modeling, by focusing on the Abstract Behavioral Specification (ABS) language used for the specification of models of systems composed of concurrent objects consuming resources provided by deployment components. We extend ABS with class annotations expressing the resource requirements of the objects of that class. Then we define a tool that, starting from a high-level declaration of the desired system, computes a model instance of such system that optimally distributes objects over available deployment components.
Document type :
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Jacopo Mauro <>
Submitted on : Wednesday, July 8, 2015 - 5:47:17 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Wednesday, April 26, 2017 - 1:13:25 AM


Files produced by the author(s)


  • HAL Id : hal-01170926, version 2



Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. On the Integration of Automatic Deployment into the ABS Modeling Language. [Technical Report] Inria Sophia Antipolis. 2015. ⟨hal-01170926v2⟩



Record views


Files downloads