Modeling Control Flow in WS-BPEL with Chu Spaces

Xutao Du, Chunxiao Xing, Lizhu Zhou and Ke Han
Additional contact information
Xutao Du: Institute of Electronic System Engineering, China
Chunxiao Xing: Tsinghua University, China
Lizhu Zhou: Tsinghua University, China
Ke Han: Institute of Electronic System Engineering, China

International Journal of Information Systems in the Service Sector (IJISSS), 2011, vol. 3, issue 4, 1-21

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.

Date: 2011
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/jisss.2011100101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jisss0:v:3:y:2011:i:4:p:1-21

Access Statistics for this article

International Journal of Information Systems in the Service Sector (IJISSS) is currently edited by John Wang

More articles in International Journal of Information Systems in the Service Sector (IJISSS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().