Vitalsource Technologies, Inc. Formalizing Data-centric Web Services