A key aspect when aggregating business processes and web services is to assure
transactional properties of process executions. Since transactions in this context may require …

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 …

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 …

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

We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that
distinguishes reversible and irreversible actions, and incorporates a distributed backtrack …

Web services composition is an emerging paradigm for the integration of long running
business processes, attracting the interest of both Industry, in terms of XML-based standards …

We propose a novel language construct called communicating transactions, obtained by
dropping the isolation requirement from classical transactions, which can be used to model …

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 …

The investigation into the foundational aspects of linguistic mechanisms for programming
long-running transactions (such as the scope operator of WS-BPEL) has recently renewed …

Conversations in service-oriented computation are frequently long running. In such a setting,
traditional ACID properties of transactions cannot be reasonably implemented, and …