Optimal and automated deployment for microservices

Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro

doi:10.1007/978-3-030-16722-6_21

Optimal and automated deployment for microservices

Mario Bravetti, Saverio Giallorenzo^*, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro

^*Kontaktforfatter

Institut for Matematik og Datalogi

University of Bologna

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

115 Downloads (Pure)

Abstract

Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper we formalize these practices and show that automated deployment — proven undecidable in the general case — is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.

Originalsprog	Engelsk
Titel	Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering
Redaktører	Reiner Hähnle, Wil van der Aalst
Forlag	Springer
Publikationsdato	2019
Sider	351-368
ISBN (Trykt)	9783030167219
DOI	https://doi.org/10.1007/978-3-030-16722-6_21
Status	Udgivet - 2019
Begivenhed	22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 - Prague, Tjekkiet Varighed: 6. apr. 2019 → 11. apr. 2019

Konference

Konference	22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Land/Område	Tjekkiet
By	Prague
Periode	06/04/2019 → 11/04/2019

Navn	Lecture Notes in Computer Science
Vol/bind	11424
ISSN	0302-9743

Dokumenter og links

10.1007/978-3-030-16722-6_21Licens: CC BY

Optimal and automated deployment for microservicesForlagets udgivne version, 1,27 MBLicens: CC BY

Citationsformater

Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., & Zavattaro, G. (2019). Optimal and automated deployment for microservices. I R. Hähnle, & W. van der Aalst (red.), Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering (s. 351-368). Springer. https://doi.org/10.1007/978-3-030-16722-6_21

Bravetti, Mario ; Giallorenzo, Saverio ; Mauro, Jacopo et al. / Optimal and automated deployment for microservices. Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. red. / Reiner Hähnle ; Wil van der Aalst. Springer, 2019. s. 351-368 (Lecture Notes in Computer Science, Bind 11424).

@inproceedings{763cbb7f6b7946cfb5db077f3777c4f5,

title = "Optimal and automated deployment for microservices",

abstract = "Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper we formalize these practices and show that automated deployment — proven undecidable in the general case — is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.",

author = "Mario Bravetti and Saverio Giallorenzo and Jacopo Mauro and Iacopo Talevi and Gianluigi Zavattaro",

year = "2019",

doi = "10.1007/978-3-030-16722-6_21",

language = "English",

isbn = "9783030167219",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "351--368",

editor = "Reiner H{\"a}hnle and {van der Aalst}, Wil",

booktitle = "Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,",

address = "Germany",

note = "22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 ; Conference date: 06-04-2019 Through 11-04-2019",

}

Bravetti, M, Giallorenzo, S, Mauro, J, Talevi, I & Zavattaro, G 2019, Optimal and automated deployment for microservices. i R Hähnle & W van der Aalst (red), Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. Springer, Lecture Notes in Computer Science, bind 11424, s. 351-368, 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Tjekkiet, 06/04/2019. https://doi.org/10.1007/978-3-030-16722-6_21

Optimal and automated deployment for microservices. / Bravetti, Mario; Giallorenzo, Saverio; Mauro, Jacopo et al.
Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. red. / Reiner Hähnle; Wil van der Aalst. Springer, 2019. s. 351-368 (Lecture Notes in Computer Science, Bind 11424).

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Optimal and automated deployment for microservices

AU - Bravetti, Mario

AU - Giallorenzo, Saverio

AU - Mauro, Jacopo

AU - Talevi, Iacopo

AU - Zavattaro, Gianluigi

PY - 2019

Y1 - 2019

N2 - Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper we formalize these practices and show that automated deployment — proven undecidable in the general case — is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.

AB - Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper we formalize these practices and show that automated deployment — proven undecidable in the general case — is algorithmically treatable for microservices. Our key assumption is that the configuration life-cycle of a microservice is split into two phases: (i) creation, which entails establishing initial connections with already available microservices, and (ii) subsequent binding/unbinding with other microservices. To illustrate the applicability of our approach, we implement an automatic optimal deployment tool and compute deployment plans for a realistic microservice architecture, modeled in the Abstract Behavioral Specification (ABS) language.

U2 - 10.1007/978-3-030-16722-6_21

DO - 10.1007/978-3-030-16722-6_21

M3 - Article in proceedings

AN - SCOPUS:85064935406

SN - 9783030167219

T3 - Lecture Notes in Computer Science

SP - 351

EP - 368

BT - Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,

A2 - Hähnle, Reiner

A2 - van der Aalst, Wil

PB - Springer

T2 - 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019

Y2 - 6 April 2019 through 11 April 2019

ER -

Bravetti M, Giallorenzo S, Mauro J, Talevi I, Zavattaro G. Optimal and automated deployment for microservices. I Hähnle R, van der Aalst W, red., Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. Springer. 2019. s. 351-368. (Lecture Notes in Computer Science, Bind 11424). doi: 10.1007/978-3-030-16722-6_21

Optimal and automated deployment for microservices

Abstract

Konference

Dokumenter og links

Fingeraftryk

Citationsformater