Formalizing Data-Centric Web Services