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 …

Recently, the term Web services orchestration has been introduced to address some issues
related to Web services composition, that is the way of defining a complex service out of …

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …

We seek for a small set of primitives that might serve as a basis for formalising and
programming service oriented applications over global computers. As an outcome of this …

Choreography and orchestration languages deal with business processes design and
specification. Referring to Web Services technology, the most credited proposals are WS …

As computer systems continue to grow in complexity, the possibility of failure increases. At
the same time, the increase in computer system pervasiveness in day-to-day activities bring …

We propose a dynamic verification framework for protocols in real-time distributed systems.
The framework is based on Scribble, a tool-chain for design and verification of …

Abstract Service-oriented computing is calling for novel computational models and
languages with primitives for client-server interaction, orchestration and unexpected events …

Existing models for the analysis of concurrent processes tend to focus on fail-stop failures,
where processes are either working or permanently stopped, and their state …

A translation of the Business Process Modeling Notation into the process calculus COWS is
presented. The stochastic extension of COWS is then exploited to address quantitative …