Following previous work on the automated deployment of component-based applications,
we present a formal model specifically tailored for reasoning on the deployment of …

We propose the concept of adaptable processes as a way of overcoming the limitations that
process calculi have for describing patterns of dynamic process evolution. Such patterns rely …

This article proposes a global escape mechanism which can handle unexpected or
unwanted conditions changing the default execution of distributed communicational flows …

This paper proposes a global escape mechanism which can handle unexpected or
unwanted conditions changing the default execution of distributed communicational flows …

Modern software systems have frequently to face unexpected events, reacting so to reach a
consistent state. In the field of concurrent and mobile systems (eg, for web services) the …

We study the relationship between session types and behavioural contracts, representing
Communicating Finite State Machines (CFSMs), under the assumption that processes …

Session types, types for structuring communication between endpoints in distributed
systems, are recently being integrated into mainstream programming languages. In practice …

Data-centric multi-user systems, such as web applications, require flexible yet fine-grained
data security mechanisms. Such mechanisms are usually enforced by a specially crafted …

We develop a novel approach for run-time global adaptation of microservice applications,
based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we …

Languages and models for service-oriented applications usually include primitives and
constructs for exception and compensation handling. Exception handling is used to react to …