Αποστολή με SMS: Formalizing Data-Centric Web Services