Sciweavers

Share
ENTCS
2006

Towards the Semantics and Verification of BPEL4WS

9 years 3 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition and orchestration. For the convenience, We propose the language called
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
Comments (0)
books