Composing Web Services with PEWS: A Trace-Theoretical Approach

Author

Ba, Cheikh ; Ferrari, Mírian Halfeld ; Musicante, Martin A.

Author_Institution

Univ. Francois-Rabelais de Tours, Blois

fYear

2006

fDate

Dec. 2006

Firstpage

65

Lastpage

74

Abstract

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

Keywords

Web services; formal specification; specification languages; user interfaces; PEWS language; WSDL-defined operations; Web service composition; Web service design; control dimension; control workflow; data dimension; interface description language; service specification; trace theory; Acoustic testing; Communication system control; Context modeling; Context-aware services; Java; Software standards; Software systems; Web and internet services; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Web Services, 2006. ECOWS '06. 4th European Conference on

Conference_Location

Zurich

Print_ISBN

0-7695-2737-X

Type

conf

DOI

10.1109/ECOWS.2006.12

Filename

4031151