@Article{JICS-4-093, author = {Hui-yun Long and Jian-shi Li}, title = {A Process Algebra Approach of BPEL4WS}, journal = {Journal of Information and Computing Science}, year = {2024}, volume = {4}, number = {2}, pages = {093--098}, abstract = {It is now well-admitted that formal methods are helpful for many issues raised in the Web services area. It is a feasible method of the design and the verification of Web services using process algebras. BPEL4WE can correctly combine Web services actions. It is a important part of Web Services. In this paper, we present a mapping from BPEL4WS code to value-passing CCS, which offer an available way of obtaining a formal model of BPEL4WS. }, issn = {1746-7659}, doi = {https://doi.org/}, url = {http://global-sci.org/intro/article_detail/jics/22751.html} }