This collection of articles on 'Work? ows for e-Science'is very timely and-portant.
Increasingly, to attack the next generation of scienti? c problems, multidisciplinary and …

Purpose–Modern enterprises face a strong economical pressure to increase
competitiveness, to operate on a global market, and to engage in alliances of several kinds …

Recently, the term Web services orchestration has been introduced to address some issues
related to Web services composition, that is the way of defining a complex service out of …

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …

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 …

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 …

This paper presents the StAC language and its operational semantics. StAC (Structured
Activity Compensation) is a business process modelling language and a distinctive feature …

A timed extension of π-calculus with a transaction construct–the calculus Web π–is studied.
The underlying model of Web π relies on networks of processes; time proceeds …

We propose an interactional generalisation of structured exceptions based on the session
type discipline. Interactional exceptions allow communicating peers to asynchronously and …

The rigorous and comprehensive verification of communication-based software is an
important engineering challenge in distributed systems. Drawn from our industrial …