An organization produces value for its customers by executing various business processes.
Due to complexity and variety of business processes, contemporary organizations use …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

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 …

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

In a previous work we have presented a formal framework devoted to show the relevance of
choreography and orchestration in the design of service oriented applications. Even if useful …

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 …

For a system of distributed processes, correctness can be ensured by (statically) checking
whether their composition satisfies properties of interest. However, Web services are …

The Web Services Business Process Execution Language (BPEL for short) is a recently
developed language that is used to specify compositions of web services. In the last few …

Currently web services constitute one of the most important topics in the realm of the World
Wide Web. Composition of web services lets developers create applications on top of …