Testing BPEL-based Web Service Composition Using High-level Petri Nets.

Wen-Li Dong, Hang Yu, Yu-Bing Zhang

Browse the full EDOC paper archive.