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

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu
• Keywords: BPEL4WS, ENTCS 2006, Timed Automata, Uppaal Model Checker