Modeling Control Flow in WS-BPEL with Chu Spaces-Reference-Cited by-同舟云学术

Modeling Control Flow in WS-BPEL with Chu Spaces

Published:2013 Issue: Volume: Page:184-204
ISSN:
Container-title:Implementation and Integration of Information Systems in the Service Sector
language:
Short-container-title:

Author:

Du Xutao¹,Xing Chunxiao²,Zhou Lizhu²,Han Ke¹

Affiliation:

1. Institute of Electronic System Engineering, China

2. Tsinghua University, China

Abstract

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 allows faults to be thrown at any point of execution and take link-based synchronization into consideration. The paper gives the abstract syntax of BPEL-CF, the semantic algebra, and the valuation functions for computing the Chu spaces denotations of BPEL-CF programs.

Publisher

IGI Global

Reference40 articles.

1. Chen, X., Li, Q., & Deng, Z. (2007). Chu space and approximable concept lattice in fuzzy setting. In Proceedings of the IEEE International Conference on Fuzzy Systems (pp. 1-6).

2. Du, X., Xing, C., & Zhou, L. (2009a). A Chu spaces semantics of BPEL-like fault handling. In Proceedings of the 4th International Conference on Frontier of Computer Science and Technology, Shanghai, China (pp. 317-323).

3. Du, X., Xing, C., & Zhou, L. (2009b). A Chu spaces semantics of control flow in BPEL. In Proceedings of the IEEE Asia-Pacific Services Computing Conference, Biopolis, Singapore (pp. 142-149).

4. Modeling and Verifying Concurrent Programs with Finite Chu Spaces