Using Formal Methods to Develop WS-BPEL Applications

Download Now
Provided by: Elsevier
Topic: Big Data
Format: PDF
In recent years, WS-BPEL has become a de facto standard language for orchestration of Web Services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task. In this paper, the authors firstly point out major loose points of the WS-BPEL specification by means of many examples, some of which are also exploited to test and compare the behavior of three of the most known freely available WS-BPEL engines. They show that, as a matter of fact, these engines implement different semantics, which undermines portability of WS-BPEL programs over different platforms.
Download Now

Find By Topic