loading...
An Operational Approach to BPEL-like Programming
Columbia, MD, USA March 06-March 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2007.9431st IEEE Software Engineering Worksh ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li, "An Operational Approach to BPEL-like Programming," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 236-245, 31st IEEE Software Engineering Workshop (SEW 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2007.94,
author = {Huibiao Zhu and Jifeng He and Geguang Pu and Jing Li},
title = {An Operational Approach to BPEL-like Programming},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2007},
issn = {1550-6215},
pages = {236-245},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.94},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - An Operational Approach to BPEL-like Programming
SN - 1550-6215
SP236
EP245
A1 - Huibiao Zhu,
A1 - Jifeng He,
A1 - Geguang Pu,
A1 - Jing Li,
PY - 2007
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
Web services have become more and more important during these years and BPEL4WS (BPEL) is to be a stan- dard 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 in- troduced for BPEL programs in the form of two-layer struc- ture. A set of algebraic laws is studied, which includes sev- eral BPEL featured laws. These algebraic laws are verified via the two-layer bisimulation. This reflects that our bisim- ulation is a practical approach to explore program equiva- lence for web services. Keywords: Web Services; BPEL; Compensation; Fault Handling; Operational Semantics; Bisimulation; Algebraic Semantics
Citation:
Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li, "An Operational Approach to BPEL-like Programming," sew, pp.236-245, 31st IEEE Software Engineering Workshop (SEW 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.