Generalized semantic Web service composition