@Article{JICS-4-2,
author = {},
title = {A Process Algebra Approach of BPEL4WS},
journal = {Journal of Information and Computing Science},
year = {2009},
volume = {4},
number = {2},
pages = {93--98},
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/2024-JICS-22751},
url = {https://global-sci.com/article/87483/a-process-algebra-approach-of-bpel4ws}
}