44 citations · 217 across the 40 of their papers we have counts for
6 papers · 1 filter
The Paths to Choreography Extraction
Luís Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis…
Circuit Breakers, Discovery, and API Gateways in Microservices
Fabrizio Montesi, Janine Weber
We review some of the most widely used patterns for the programming of microservices: circuit breaker, service discovery, and API gateway. By systematically analysing different dep…
Microservices: yesterday, today, and tomorrow
Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente +4
Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Before presenting the current state-of-the-art in the f…
Choreographies in Practice
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O o…
Refinement types in Jolie
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara +3
Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with…
A Language for the Declarative Composition of Concurrent Protocols
Luís Cruz-Filipe, Fabrizio Montesi
A recent study of bugs in real-world concurrent and distributed systems found that, while implementations of individual protocols tend to be robust, the composition of multiple pro…