Self-Reconfiguring Microservices

Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi [2016].
In proceedings of Theory and Practice of Formal Methods 2016, pp. 194-210.

Microservices is an emerging paradigm for the development of distributed systems that, originating from Service-Oriented Architecture, focuses on the small dimension, the loose coupling, and the dynamic topology of services. Microservices are particularly appropriate for the development of distributed systems in the Cloud. However, their dynamic nature calls for suitable techniques for their automatic deployment. In this paper we address this problem and we propose JRO (Jolie Redeployment Optimiser), a tool for the automatic and optimised deployment of microservices written in the Jolie language. The tool uses Zephyrus, a state of the art tool that automatically generates a fully detailed ServiceOriented Architecture configuration starting from a partial and abstract description of the target application.
Additional notes
Cite (BibTeX)
Click to expand
  author       = {Maurizio Gabbrielli and
                  Saverio Giallorenzo and
                  Claudio Guidi and
                  Jacopo Mauro and
                  Fabrizio Montesi},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Marcello M. Bonsangue and
                  Einar Broch Johnsen},
  title        = {Self-Reconfiguring Microservices},
  booktitle    = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
                  de Boer on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9660},
  pages        = {194--210},
  publisher    = {Springer},
  year         = {2016},
  url          = {\_14},
  doi          = {10.1007/978-3-319-30734-3\_14},
  timestamp    = {Sat, 09 Apr 2022 12:46:09 +0200},
  biburl       = {},
  bibsource    = {dblp computer science bibliography,}

A PDF is available (possibly a preprint):

Download PDF