Composing Web Services with PEWS: A Trace-Theoretical Approach

PEWS is an interface description language for both individual and composed Web services. Individual Web services are expressions over WSDL-defined operations while composed Web services are expressions over PEWS-defined services. This paper distinguishes two dimensions of PEWS. The control dimension describes the control workflow of the service, i.e. the order in which the operations of the Web service will be executed. No data constraints are imposed. The data dimension adds information flow to the control dimension. In order to analyse the composability and the substitutability of composed services, we introduce a trace-theoretical presentation of the language constructs. Our long-term goal is to integrate PEWS into a Web service design system that checks useful properties of the service specification