@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}
}