Formalizing Data-Centric Web Services | DealShopping Deutschland