%0 Conference Proceedings
%T On the Integration of Automatic Deployment into the ABS Modeling Language
%+ Systems development laboratory (SDL)
%+ Centrum Wiskunde & Informatica (CWI)
%+ Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
%+ SDL Fredhopper
%+ Universiteit Leiden = Leiden University 
%A Gouw, Stijn, De
%A Lienhardt, Michael
%A Mauro, Jacopo
%A Nobakht, Behrooz
%A Zavattaro, Gianluigi
%Z Part 1: Research Track
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th European Conference on Service-Oriented and Cloud Computing (ESOCC)
%C Taormina, Italy
%Y Schahram Dustdar
%Y Frank Leymann
%Y Massimo Villari
%I Springer International Publishing
%3 Service Oriented and Cloud Computing
%V LNCS-9306
%P 49-64
%8 2015-09-15
%D 2015
%R 10.1007/978-3-319-24072-5_4
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01757558/document
%2 https://inria.hal.science/hal-01757558/file/370579_1_En_4_Chapter.pdf
%L hal-01757558
%U https://inria.hal.science/hal-01757558
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-ESOCC
%~ IFIP-TC2
%~ IFIP-LNCS-9306