A Spring Based Framework for Verification of Service Composition | IEEE Conference Publication | IEEE Xplore