An Operational Approach to BPEL-like Programming

Author

Huibiao Zhu ; Jifeng He ; Geguang Pu ; Jing Li

Author_Institution

East China Normal Univ., Shanghai

fYear

2007

fDate

March 6 2007-Feb. 8 2007

Firstpage

236

Lastpage

245

Abstract

Web services have become more and more important during these years and BPEL4WS (BPEL) is to be a standard for the Web services composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. In this paper, we formalize an operational semantics for BPEL, which provides the precise understanding of the language. In order to explore program equivalence, bisimulation is introduced for BPEL pro grams in the form of two-layer structure. A set of algebraic laws is studied, which includes several BPEL featured laws. These algebraic laws are verified via the two-layer bisimulation. This reflects that our bisimulation is a practical approach to explore program equivalence for Web services.

Keywords

Web services; algebra; fault tolerant computing; BPEL-like programming; BPEL4WS; Web services; algebraic laws; fault handling mechanism; operational semantics; program equivalence; scope-based compensation; two-layer bisimulation; Access control; Calculus; Computer languages; Helium; Information systems; Security; Software engineering; Software standards; Web and internet services; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Workshop, 2007. SEW 2007. 31st IEEE

Conference_Location

Columbia, MD

ISSN

1550-6215

Print_ISBN

978-0-7695-2862-5

Type

conf

DOI

10.1109/SEW.2007.56

Filename

4402782