Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.

Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu

Browse the full APWEB paper archive.