The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Modeling Control Flow in WS-BPEL with Chu Spaces
|
|
Author(s): Xutao Du (Institute of Electronic System Engineering, China), Chunxiao Xing (Tsinghua University, China), Lizhu Zhou (Tsinghua University, China)and Ke Han (Institute of Electronic System Engineering, China)
Copyright: 2013
Pages: 21
Source title:
Implementation and Integration of Information Systems in the Service Sector
Source Author(s)/Editor(s): John Wang (Montclair State University, USA)
DOI: 10.4018/978-1-4666-2649-2.ch012
Purchase
|
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.
Related Content
|
Muhammad Faisal Sultan, Muhammad Nawaz Tunio, Imamuddin.
© 2026.
10 pages.
|
|
Muhammad Faisal Sultan, Aamir Firoz Shamsi, Kashif Mehmood.
© 2026.
10 pages.
|
|
R. Arunachalam, R. Amudha.
© 2026.
28 pages.
|
|
Muhammad Faisal Sultan, Abdul Kabeer Kazi, Muhammad Asim Rafique.
© 2026.
12 pages.
|
|
Bushra Qamar.
© 2026.
22 pages.
|
|
Rija Anwar.
© 2026.
20 pages.
|
|
Choi-Meng Leong.
© 2026.
20 pages.
|
|
|