Self-reconfiguring microservices

Maurizio Gabbrielli*, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch


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 Service- Oriented Architecture configuration starting from a partial and abstract description of the target application.

Original languageEnglish
Title of host publicationTheory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
EditorsErika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Publication date2016
ISBN (Print)978-3-319-30733-6
ISBN (Electronic)978-3-319-30734-3
Publication statusPublished - 2016
SeriesLecture Notes in Computer Science



  • Automatic deployment
  • Microservices
  • Optimal component allocation
  • Service-Oriented Architecture

Cite this

Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J., & Montesi, F. (2016). Self-reconfiguring microservices. In E. Ábrahám, M. Bonsangue, & E. B. Johnsen (Eds.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (pp. 194-210). Springer. Lecture Notes in Computer Science, Vol.. 9660