Automatic web service composition with abstraction and refinement