Tools for Design of Composite Web Services: A Short Overview

The paper begins with a survey key web services standards (WSDL, BPEL, OWL-S, WS-Choreography) from the perspective of service composition and verification. It then describes three important theoretical approachs to automated composition, based on the Roman model (emphasis on activities with automata-based process model), the Conversation model (emphasis on message passing, again with an automata-based process model), and the OWL-S (and related) models (emphasis on activities and their impact on an abstraction of the external world). The paper then describes key approaches for automated analysis and verification of composed services.