Checking Compatibility of BPEL4WS Based on CCS

Huiyun Long,Dan Ma
DOI: https://doi.org/10.1109/icssem.2011.6081199
2011-01-01
Abstract:We have extended the type system of the value-passing CCS firstly, then coded the composite Web services which are described in BPEL4WS. Secondly, we provided an algorithm for checking compatibility of BPEL4WS based on CCS with type. To illustrate the feasibility of the algorithm, we gave an example of travel agency.
What problem does this paper attempt to address?