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 field …

Choreographies are descriptions of distributed systems where the developer gives a global
view of how messages are exchanged by endpoint nodes (endpoints for short), instead of …

The wide adoption of service-oriented computing has led to a heterogeneous scenario
formed by different technologies and specifications. Examples can be found both at the …

We present a programming framework, based upon the Jolie language, for the native
modelling of process-aware web information systems. Our major contribution is to offer a …

Service-Oriented applications are realized by composing and aggregating existing web
services. Orchestration and Choreography are two interaction models for building SOA …

Jolie is a service-oriented programming language which comes with the formal speci cation
of its type system. However, there is no tool to ensure that programs in Jolie are well-typed …

The complexity of determining resource provisioning policies for applications in such
complex environments introduces significant inefficiencies in the cloud. Novel approaches …