Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture | IEEE Conference Publication | IEEE Xplore