In this paper, we review the background and the state of the art of the Distributed Computing
software stack. We aim to provide the readers with a comprehensive overview of this area by …

With the emerging connected automated vehicles, 5G and Internet of Things (IoT), vehicles
and road infrastructure become connected and cooperative, enabling Cooperative …

Abstract Service oriented computing is an emerging paradigm for designing distributed
applications where service and composition are the main concepts it is based upon. In this …

In this position paper we present a conceptual vision of adaptation, a key feature of
autonomic systems. We put some stress on the role of control data and argue how some of …

Microservices is an emerging paradigm for the development of distributed systems that,
originating from Service-Oriented Architecture, focuses on the small dimension, the loose …

The microservices architectural style is changing the way in which software is perceived,
conceived and designed. Thus, there is a call for techniques and tools supporting the …

Service composition and service statefulness are key concepts in Web Service system
programming. In this paper we present JOLIE, which is the full implementation of our formal …

Workflows are an effective paradigm to model complex data analysis processes, such as
knowledge discovery in databases applications, which can be efficiently executed on …

We present a compositional construction of Web Services, using Reo and Constraint
Automata as the main “glue” ingredients. Reo is a graphical and exogenous coordination …

A cyber range is an environment used for training security experts and testing attack and
defence tools and procedures. Usually, a cyber range simulates one or more critical …