Du, Xutao; Xing, Chunxiao; Zhou, Lizhu; Han, Ke - In: International Journal of Information Systems in the … 3 (2011) 4, pp. 1-21
This paper presents a Chu spaces semantics of typical control flow of WS-BPEL including fault handling and link semantics. BPEL-CF is proposed as a simplification of this subset of WS-BPEL. For the compositional modeling of BPEL, the authors present a Chu spaces process algebra. This algebra...