Specification and Verification of Data-Centric Web Services

Abstract

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. Keywords-Formal Methods; Data-Centric Web Services

DOI: 10.1109/SERVICES.2010.16

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@inproceedings{Saleh2010SpecificationAV, title={Specification and Verification of Data-Centric Web Services}, author={Iman Saleh}, booktitle={SERVICES}, year={2010} }