Specifying Data-Flow Requirements for the Automated Composition of Web Services