Formal semantics and analysis of control flow in WS-BPEL
scientific article; zbMATH DE number 5173643