A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Assertional Reasoning for Concurrent and Communicating BPEL-like Programs
2018
Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems
This paper studies verification of programs similar to BPEL4WS (BPEL), the latter being a de facto standard for the web services composition and orchestration. Traditionally, in verification of concurrent and distributed programs, the model was either based on shared variables or message passing and was studied separately. BPEL-like programs have features that are present in both models: several flows within one service can be executed in parallel and they can access shared variables, whereas
doi:10.15439/2018f148
dblp:conf/fedcsis/ZhuXZ18
fatcat:3tjsc3kvzvcv3e3lavkssmkbsm