A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices.

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh, Philip Wizenty

Browse the full ICSOC paper archive.