Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet.

Haiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang

Browse the full APSEC paper archive.