A Process Algebra Approach of BPEL4WS
Year: 2009
Journal of Information and Computing Science, Vol. 4 (2009), Iss. 2 : pp. 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.
Journal Article Details
Publisher Name: Global Science Press
Language: English
DOI: https://doi.org/2024-JICS-22751
Journal of Information and Computing Science, Vol. 4 (2009), Iss. 2 : pp. 93–98
Published online: 2009-01
AMS Subject Headings:
Copyright: COPYRIGHT: © Global Science Press
Pages: 6