RESTful services are an attractive technology for designing and developing web-based
applications, as they facilitate reuse, interoperability, and loosely coupled interaction with …

Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S,
provide notations for describing the control and data flows in Web service collaborations …

Abstract Web Services (WSs) are the most used implementation of service-oriented
architectures allowing the construction and the sharing of independent and autonomous …

Current Web services composition proposals, such as BPEL, BPSS, BPMN and WSCI,
provide notations for describing the control and message flows in Web service …

A fundamental feature of service oriented computing is that simple services need to be
composed for generating complex services. This work focuses on the analysis and …

Web service composition is an important reuse way of service resources, through which
large scale and complex applications based on Internet can get the newer and more reliable …

By exploiting the open standards of Web and by assuring a weak coupling of components,
Web service technology provides a flexible and universal approach to the inter-operability of …

Availability of a wide variety of Web services over the Internet offers opportunities of
providing new value added services by composing existing ones. Service composition …

Current Web services composition proposals, such as Web Service Choreography Interface
(WSCI), provide no mechanisms or tool support for the verification of service composition in …

The formal analysis of Web service compatibility is an important task that is not supported by
current composition languages, due to their lack of well-defined formal semantics. This …