Specification and Verification of Data-Centric Web Services

Data-centric Web services are services whose behavior is determined by their interactions with a repository of stored data. The lack of data specification in current Web service standards potentially leads to erroneous use of these services by their consumers. In this work, we propose using formal data contracts to decrease ambiguity about a service behavior, to fully verify a composition of services, and to guarantee data integrity within a composition of services.