Proof-of-concept project for creating RESTful webservices using Spring Boot, HAL, and Docker. Another aspect is the transformation into microservices, which communicate via multi-party session types.

The first part of the project focuses on Spring boot. A RESTFul API is created which uses the HAL+JSON format.

A Dockerfile and a docker-compose.yml is given for building and running the project in one command line.

This part of the project focuses on multi-party session types.

The project is divided into microservices. Another service is given which acts as a proxy between the microservices and between the client. The proxy communicates with the client using the previously implemented REST API, and communicates with the microservices using the multi-party session types.

A docker-compose.yml is given for running all the microservices and their corresponding databases in separate, isolated containers.

See the readme.

Diagrams and explanations in the documentation.