TY - JOUR
T1 - A Process Algebra Approach of BPEL4WS
AU - Hui-yun Long and Jian-shi Li
JO - Journal of Information and Computing Science
VL - 2
SP - 093
EP - 098
PY - 2024
DA - 2024/01
SN - 4
DO - http://doi.org/
UR - https://global-sci.org/intro/article_detail/jics/22751.html
KW - Web services, BPEL4WS, the value-passing CCS, map. 

AB - 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.