Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet | IEEE Conference Publication | IEEE Xplore