Section: New Results

Service-oriented computing

Participants : Maurizio Gabbrielli, Elena Giachino, Saverio Giallorenzo, Claudio Guidi, Mario Bravetti, Cosimo Laneve, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro.

Microservices

Microservices is an emerging paradigm for the development of distributed systems that, originating from Service-Oriented Architecture, fosters the creation of an ecosystem of reusable components by focusing on the small dimension, the loose coupling, and the dynamic topology of services. Their dynamic nature calls for suitable techniques that support automatic deployment. In [40] 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 flexibility of microservices is their key advantage, yet it poses many security issues. In [39] we classify the most relevant vulnerabilities related to data reliability, integrity, and authenticity, and we investigate directions for their mitigation.

Orchestrations and choreographies

The practice of programming distributed systems is one of the most error-prone, due to the complexity in correctly implementing separate components that, put together, enact an agreed protocol. Theoretical and applied research is, therefore, fundamental, to explore new tools to assist the development of such systems. In particular, choreographies can be compiled to obtain projected systems that enjoy freedom from deadlocks and races by construction. In [10] we studied how to make choreographies, and extensions of them that allow one to perform dynamic updates, a suitable tool for real-world programming.