Testing BPEL-based Web Service Composition Using High-level Petri Nets | IEEE Conference Publication | IEEE Xplore