Skip to Main content Skip to Navigation
New interface
Reports (Technical report)

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 :
Reports (Technical report)
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Jacopo Mauro Connect in order to contact the contributor
Submitted on : Wednesday, July 8, 2015 - 5:47:17 PM
Last modification on : Wednesday, October 26, 2022 - 8:13:57 AM
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