Planning and verifying service composition