Abstract Business Process Modelling Notation (BPMN), developed by the Business Process
Management Initiative (BPMI), intends to bridge the gap between business process design …

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 …

Choreography and orchestration languages deal with business processes design and
specification. Referring to Web Services technology, the most credited proposals are WS …

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 …

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 present a process-calculus model for expressing and analyzing service-based systems.
Our approach addresses central features of the service-oriented computational model such …

Concurrent reversibility has been studied in different areas, such as biological or
dependable distributed systems. However, only “rigid” reversibility has been considered …

We give a formal account of a calculus for modeling service-based systems, suitable to
describe both service composition (orchestration) and the protocol that services run when …

We propose a formal theory of contract-based computing. We model contracts as formulae in
an intuitionistic logic extended with a" contractual''form of implication. Decidability holds for …

This paper describes a process-algebraic approach to specification and refinement of
workflow processes. In particular, we model both specification and implementation of …