Model-Based Conformance Testing of WS-BPEL Compositions | IEEE Conference Publication | IEEE Xplore