Translating BP-calculus specifications to Verified BPEL Code

Download Now
Provided by: Ecole Polytechnique de Montreal
Topic: Big Data
Format: PDF
Orchestration allows the construction of more and more complex Web Services (WS) by featuring interoperability between highly distributed and heterogeneous web-based services. While Business Process Execution Language for Web Services (WS-BPEL) is the widely accepted standard for designing Web Service compositions, it is critical to analyze formally WS-BPEL specifications in order to increase their reliability and consistency and to generate automatically correct WS-BPEL code. In this paper, the authors present BP-calculus, a new calculus designed to facilitate the specification and the verification of complex Web Services Orchestrations and especially dedicated to WS-BPEL.
Download Now

Find By Topic