Gongyuan Zhang, Bixin Li: A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. APSCC 2010: 277-284