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

Modeling Control Flow in WS-BPEL with Chu Spaces

Published:2011-10 Issue:4 Volume:3 Page:1-21
ISSN:1935-5688
Container-title:International Journal of Information Systems in the Service Sector
language:en
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

Subject

Information Systems and Management,Management Science and Operations Research,Strategy and Management,Information Systems,Management Information Systems

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

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Designing Models for Software as a Service in Cloud Computing;International Journal of Information Systems in the Service Sector;2017-07