Formal Specification And Verification Of Data-Centric Web Services