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.
Type de document :
[Technical Report] Inria Sophia Antipolis. 2015
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

Contributeur : Jacopo Mauro <>
Soumis le : mercredi 8 juillet 2015 - 17:47:17
Dernière modification le : mercredi 10 octobre 2018 - 10:08:52
Document(s) archivé(s) le : mercredi 26 avril 2017 - 01:13:25


Fichiers produits par l'(les) auteur(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〉



Consultations de la notice


Téléchargements de fichiers