Welcome to the InfoSci Platform
Reference Hub1
Modeling Control Flow in WS-BPEL with Chu Spaces

Modeling Control Flow in WS-BPEL with Chu Spaces

Xutao Du, Chunxiao Xing, Lizhu Zhou, Ke Han
Copyright: © 2011 |Volume: 3 |Issue: 4 |Pages: 21
ISSN: 1935-5688|EISSN: 1935-5696|EISBN13: 9781613507780|DOI: 10.4018/jisss.2011100101
Cite Article Cite Article

MLA

Du, Xutao, et al. "Modeling Control Flow in WS-BPEL with Chu Spaces." IJISSS vol.3, no.4 2011: pp.1-21. http://doi.org/10.4018/jisss.2011100101

APA

Du, X., Xing, C., Zhou, L., & Han, K. (2011). Modeling Control Flow in WS-BPEL with Chu Spaces. International Journal of Information Systems in the Service Sector (IJISSS), 3(4), 1-21. http://doi.org/10.4018/jisss.2011100101

Chicago

Du, Xutao, et al. "Modeling Control Flow in WS-BPEL with Chu Spaces," International Journal of Information Systems in the Service Sector (IJISSS) 3, no.4: 1-21. http://doi.org/10.4018/jisss.2011100101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.