Formal Specification and Verification of Data-Centric Service Composition | IEEE Conference Publication | IEEE Xplore