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 …

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 compare two Petri net semantics for the Web Services Business Process Execution
Language (BPEL). The comparison reveals different modelling decisions. These decisions …

Correlation sets define a powerful mechanism for routing incoming communications to the
correct running session within a server, by inspecting the content of the received messages …

A static approach is proposed to study secure composition of services. We extend the λ-
calculus with primitives for selecting and invoking services that respect given security …

Service-oriented computing, an emerging paradigm for distributed computing based on the
use of services, is calling for the development of tools and techniques to build safe and …

Multi-view modeling refers to a system designer constructing distinct and separate models of
the same system to model different (semantic) aspects of a system. Modeling pragmatics …

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 …

Abstract Adaptable Pervasive Flows is a novel workflow-based paradigm for the design and
execution of pervasive applications, where dynamic workflows situated in the real world are …

The development and analysis of increasingly complex systems require the intensive use of
models and of sophisticated approaches to systems modeling. This paper focuses on …