Haiqiang Dun Wen Zhao Yu Huang Shikun Zhang Lifu Wang Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. 265-272 2008 APSEC http://dx.doi.org/10.1109/APSEC.2008.40 conf/apsec/2008 db/conf/apsec/apsec2008.html#DunZHZW08