Verifying the Concurrent Properties in BPEL Based Web Service Composition Process | IEEE Journals & Magazine | IEEE Xplore