Reasoning about actions for e-service composition