3 citations · 12 across the 12 of their papers we have counts for
23 papers
A Formal Theory of Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Choreographic programming is a paradigm for writing coordination plans for distributed systems from a global point of view, from which correct-by-construction decentralised impleme…
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti +1
We formally define and implement a translation from domain models in the LEMMA modelling framework to microservice APIs in the Jolie programming language. Our tool enables a softwa…
Linear Logic, the -calculus, and their Metatheory: A Recipe for Proofs as Processes
Fabrizio Montesi, Marco Peressotti
Initiated by Abramsky [1994], the Proofs as Processes agenda is to establish a solid foundation for the study of concurrent languages, by researching the connection between linear…
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the…
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti +2
In the field of microservices, Model-Driven Engineering has emerged as a powerful methodology for architectural design, and new programming languages have introduced language abstr…
Sliceable Monolith: Monolith First, Microservices Later
Fabrizio Montesi, Marco Peressotti, Valentino Picotti
We propose Sliceable Monolith, a new methodology for developing microservice architectures and perform their integration testing by leveraging most of the simplicity of a monolith:…