Formal Methods for Data-centric Web Services: From Model to Implementation | IEEE Conference Publication | IEEE Xplore