Automatic Composition of Web Services Based on Task Dependency Specification