On the Integration of Automatic Deployment into the ABS Modeling Language

Autor: Behrooz Nobakht, Stijn de Gouw, Gianluigi Zavattaro, Jacopo Mauro, Michael Lienhardt
Přispěvatelé: De Gouw, Stijn, Lienhardt, Michael, Mauro, Jacopo, Nobakht, Behrooz, Zavattaro, Gianluigi, Centrum Wiskunde & Informatica (CWI), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Department of Computer Science and Engineering [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Universiteit Leiden [Leiden], Inria Sophia Antipolis, Universiteit Leiden
Rok vydání: 2015
Předmět:
Zdroj: Service Oriented and Cloud Computing
[Technical Report] Inria Sophia Antipolis. 2015
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Service Oriented and Cloud Computing
Service Oriented and Cloud Computing ISBN: 9783319240718
ESOCC
ISSN: 0302-9743
1611-3349
DOI: 10.1007/978-3-319-24072-5_4
Popis: 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.
Databáze: OpenAIRE