Perspectives on data flow-based validation of web services compositions

Composition of Web Services (WSs) is anticipated as the future usual way to dynamically build distributed applications, and hence their verification and validation is attracting great attention. The standardization of BPEL as a composition language and of WSDL as a WS interface definition language has led researchers to investigate verification and validation techniques mainly focusing on the sequence of events in the composition, while minor attention has been paid to the validation of the data flow exchange. In this position paper we schematically settle some future research issues on the perspectives opened by data flow-based validation of composite web services.