Current approaches to service composition range from industrial standards (like BPEL and
OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a …

The paradigm of service-oriented computing revolutionized the field of software engineering.
According to this paradigm, new systems are composed of existing stand-alone services to …

Web service choreography languages allow for the description of multipart collaborations
from a global point of view, specifying the information exchanged by the participants in order …

Reo is a graphical channel-based coordination language that enables the modeling of
complex behavioral protocols using a small set of channel types with well-de ned behavior …

Foreign exchange (FX) markets see a transaction volume of over $2 trillion per day. A
number of standard ways of conducting business have been developed in the FX industry …

As we described in Chapter 1, Services are often provisioned within short-term, volatile and
highly dynamic (business) processes. These processes are designed in an abstract manner …

We present a case study to illustrate our formalism for the specification and verification of the
method-invocation behavior of web-service applications constructed from asynchronously …

Traditional approaches to Web service composition have focused on either generating
compositions that match the structural and functional requirements of the user, or using …

The two main aspects of the web service composition problem are control flow and data
mismatches. Several approaches have been reported in the literature to tackle the former; …

Service-based applications (SBAs) need to operate in a highly dynamic world, in which their
constituent services could fail or become unavailable. Monitoring is typically used to identify …