A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification | IEEE Conference Publication | IEEE Xplore