Towards the Semantics and Verification of BPEL4WS

13 years 6 months ago

Download www.is.pku.edu.cn

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

Real-time Traffic

BPEL4WS | ENTCS 2006 | Timed Automata | Uppaal Model Checker |

claim paper

» ModelBased Analysis of Obligations in Web Service Choreography

» Leveraging Eclipse for integrated modelbased engineering of web service compositions

» Towards Semantics Driven Generation of Executable Web Services Compositions

» Towards mechanized correctness proofs for cryptographic algorithms Axiomatization of a pro...

» Towards Verifying Model Transformations

» Semantic Issues of OCL Past Present and Future

» Towards Integrated Verification of Timed Transition Models

» Towards a formal semantics for the AADL behavior annex

Post Info
More Details (n/a)

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)

Sciweavers

Towards the Semantics and Verification of BPEL4WS

BPEL4WS | ENTCS 2006 | Timed Automata | Uppaal Model Checker |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers