Modeling Control Flow in WS-BPEL with Chu Spaces

View Sample PDF

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

Keywords: Business & Management / Business Information Systems / Business Science Reference / Electronic Services & Service Science

Purchase

View Modeling Control Flow in WS-BPEL with Chu Spaces on the publisher's website for pricing and purchasing information.

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.

The IRMA Community

Research IRM

Modeling Control Flow in WS-BPEL with Chu Spaces

Purchase

Abstract

Related Content

IRMA Sponsors