Automating DAML-S Web Services Composition Using SHOP2