The cost of reconciling consistency and state management with high availability is highly
magnified by the unprecedented scale and robustness requirements of today's Internet …

Publish/Subscribe systems have become a prevalent model for delivering data from
producers (publishers) to consumers (subscribers) distributed across wide-area networks …

Process-oriented composition languages such as BPEL allow Web Services to be
composed into more sophisticated services using a workflow process. However, such …

Web services make information and software available programmatically via the Internet and
may be used as building blocks for applications. A composite web service is one that is built …

Web services have become a universal technology for integration of distributed and
heterogeneous applications over the Internet. Many recent proposals such as the Business …

Distributed enterprise applications today are increasingly being built from services available
over the web. A unit of functionality in this framework is a web service, a software application …

The service-oriented paradigm offers support for engineering service-based systems (SBSs)
based on service composition where existing services are composed to create new services …

In this paper we propose a technique for the automated synthesis of new composite Web
services. Given a set of abstract BPEL4WS descriptions of component services, and a …

We propose a novel planning framework for the automated composition of web services. We
consider services that are specified and implemented in industrial standard languages for …

In this paper we discuss a model-based approach to verifying process interactions for
coordinated Web service compositions. The approach uses finite state machine …