An optimized modeling method based on BPEL4WS | IEEE Conference Publication | IEEE Xplore