{Verification of Communicating Data-Driven Web Services}