Optimal and Automated Deployment for Microservices
Microservices are a specialisation of Service Oriented Architectures (SOAs). Their increased modularity and scalability are at the base of automated deployment practices like Continuous Deployment and Autoscaling. In this paper we provide formal foundation to these practices, showing that automated deployment, which was proved to be an undecidable problem in general, can be treated algorithmically when moving to microservices. The underlying assumption in our main result is that microservices have a configuration lifecycle based on two main phases: (i) creation and initial connections with already available microservices and (ii) subsequent binding/unbinding with other microservices. We illustrate the applicability of our approach by showing an automatic optimal deployment tool applied to a realistic microservice architecture modeled in the Abstract Behavioural Specification (ABS) language.
Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 16:00 | Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER Chair(s): Reiner Hähnle Technical University of Darmstadt | ||
14:00 30mTalk | CLTestCheck: Measuring Test Effectiveness for GPU Kernels FASE Link to publication | ||
14:30 30mTalk | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System FASE Nikolaos Bezirgiannis , Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Einar Broch Johnsen University of Oslo, Violet Ka I Pun , Silvia Lizeth Tapia Tarifa University of Oslo Link to publication | ||
15:00 30mTalk | Optimal and Automated Deployment for Microservices FASE Mario Bravetti Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Jacopo Mauro University of Southern Denmark, Iacopo Talevi , Gianluigi Zavattaro Link to publication | ||
15:30 30mTalk | A Data Flow Model with Frequency Arithmetic FASE Link to publication | ||