Models and Verification of BPEL Franck

Abstract. The Web Services Business Process Execution Language (BPEL for short) is a recently developed language that is used to specify compositions of web services. In the last few years, a considerable amount of work has been done on modelling (parts of) BPEL and developing verification techniques and tools for BPEL. In this paper, we provide an overview of the different models of BPEL that have been proposed. Furthermore, we discuss the verification techniques for BPEL that have been put forward and the verification tools for BPEL that have been developed